Isamode and ProofGeneral configuration moved to Pure/Interface;
Isamode and ProofGeneral configuration moved to Pure/Interface;

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