Here's another patch. This one is again more along the lines of mere cleanup. Its goal is to reduce the amount of work done in proof-site, so Emacs starts up a bit faster and is less impacted by the presence of PG in those sessions where PG is actually not used.
Stefan
0001-Reduce-the-impact-of-proof-site-in-case-PG-is-not-us.patch
Description: Binary data
_______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel