the mercurial view of the Proof General cvs repository at
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.
ProofGeneral-devel mailing list