On Mon, 24 Jan 2011, David Aspinall wrote:
is there viewvc and cvshistory running on the Proof General cvs?
There's a handy view via Mercurial here courtesy of Markarius Wenzel
(hopefully he won't mind me advertising)
http://www4.in.tum.de/~wenzelm/cgi-bin/repos.cgi/ProofGeneral/
I was tempted to advertize it myself. Here are more advertisements for
those who now say git, git, git:
http://importantshock.wordpress.com/2008/08/07/git-vs-mercurial/
Makarius
_______________________________________________
ProofGeneral-devel mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
