retract accidental user commit; removed obsolete XSYMBOL_HOME; tuned;
retract accidental user commit;
removed obsolete XSYMBOL_HOME;
tuned;

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