The Coq mailing list

[Jonathan <jonikelee AT gmail.com>]

On 12/16/2014 08:27 AM, Pierre Courtieu wrote:
> Hi,
> with coq trunk version this should be better now. With proofgeneral cvs
> (see below) version of today this should be even better.
>
> Best regards,
> Pierre

Thanks, Pierre!

> PS: From pg web page:
>
> * CVS access
>
> The Proof General CVS repository is available by anonymous CVS. Login with:
>
> cvs -d 
> :pserver:anon AT cvs.inf.ed.ac.uk:/disk/cvs/proofgen
>  login
>
> and use the password anon. Then you can check out the CVS with:
>
> cvs -d 
> :pserver:anon AT cvs.inf.ed.ac.uk:/disk/cvs/proofgen
>  checkout
> ProofGeneral