disable indent-tabs-mode in Proof General / Emacs;
disable indent-tabs-mode in Proof General / Emacs;

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