is anybody actually using prooftree with the cvs head of Proof
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
ProofGeneral-devel mailing list