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
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to