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
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to