Hi, is anybody actually using prooftree with the cvs head of Proof General?
For supporting bullets, braces and "Grab Existential Variables" I would like to make several commits that break compatibility with the current release of prooftree. A suitable prooftree release will follow within a month. Please drop me a line, if you would be disturbed if compatibility breaks between cvs head of Proof General and prooftree version 0.10. Bye, Hendrik _______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
