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)
I was tempted to advertize it myself. Here are more advertisements for
those who now say git, git, git:
ProofGeneral-devel mailing list