fixed ISABELLE_HOME/lib/logo/isabelle-tiny.xpm;
fixed ISABELLE_HOME/lib/logo/isabelle-tiny.xpm;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle