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.
ProofGeneral-devel mailing list