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).


ProofGeneral-devel mailing list

Reply via email to