tuned comments; even smarter guessing of ProofGeneral location;
tuned comments;
even smarter guessing of ProofGeneral location;

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