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
be dead.
I have updated that now, and hope the cron job will continue to do so as
well.
Is there any alternative?
Switching the ProofGeneral cvs to a sane versioning system (not svn).
Makarius
_______________________________________________
ProofGeneral-devel mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
