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

Reply via email to