[isabelle-dev] ProofGeneral history via Mercurial

Makarius makarius at sketis.net
Thu Jul 10 23:35:06 CEST 2008

Dear Mercurial enthusiasts and Proof General users,

as ProofGeneral is heading towards the *stable* release 3.7.1 it might be 
interesting to follow the ongoing development via 

Access to the regular repository also works via the parent directory of 
that URL.  Note that this is a readonly copy of the official ProofGeneral 
CVS from Edinburgh.

As usual, early adopters of PG pre-3.7.1 should post problem reports to 
http://proofgeneral.inf.ed.ac.uk/trac/ (you can just create your own 


More information about the isabelle-dev mailing list