Hi, 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. Is there any alternative?
If not I would volunteer to set up viewvc and cvshistory, but for that I would need access to the raw *,v rcs files. Of course a loginfo entry that runs, for instance, unison to synchronize the repository with my copy would suffice. Bye, Hendrik _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel