Thanks to Hendrik for this impressive addition! I have made a pre-release today which distributes the new feature:
http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.2pre120104.tgz Happy New Year, - David On 03/01/12 10:29, Hendrik Tews wrote:
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
_______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.