PROOFGENERAL_OPTIONS: smart fall-back on plain emacs (back again);
PROOFGENERAL_OPTIONS: smart fall-back on plain emacs (back again);

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