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 http://www4.in.tum.de/~wenzelm/cgi-bin/repos.cgi/ProofGeneral/atom-log
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 account). Makarius
