PATH: /opt/local/bin is back again (required for latex etc.);
PATH: /opt/local/bin is back again (required for latex etc.);

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