I'm trying to solve an issue with PG/xml: https://github.com/psteckler/ProofGeneral/issues/75
I'm unable to reproduce the issue, I'm supposing because there's a setting I'm missing. Is there a setting in PG that locks a buffer and colors it red? -- Paul _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
