On Mon, 8 Aug 2011, Hendrik Tews wrote:
the mercurial view of the Proof General cvs repository at
http://www4.in.tum.de/~wenzelm/cgi-bin/repos.cgi/ProofGeneral/ seems to
I have updated that now, and hope the cron job will continue to do so as
Is there any alternative?
Switching the ProofGeneral cvs to a sane versioning system (not svn).
ProofGeneral-devel mailing list