Hi, I just merged the ProofTreeBranch into the main trunk. Hopefully I didn't break anything.
If you want to try it you have to install Coq 8.4 beta (from http://coq.inria.fr/coq-84) or a recent development version of Coq and Prooftree (from http://askra.de/software/prooftree/). The Prooftree website provides binary packages for Debian Squeeze i386 and amd64. Bye, Hendrik _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel