The Coq mailing list

[Olivier Desmettre <desmettr AT pauillac.inria.fr>]

  The Coq development team is pleased to inform you that a new server has 
been launched to provide read-only access to the Coq source tree using 
anonymous CVS. This server is accessible at :

          http://coqcvs.inria.fr

  You can browse the file hierarchy with your Web browser and get the 
different revisions. You may furthermore request differences between two 
revisions of a file.

  You can also download source using anonymous CVS. The two main parts of our 
CVS repository are "V7" (source of the Coq proof assistant, version 7) and 
"contrib" (user's contributions). To access the Coq source tree using CVS, 
you need to do the following :

  - Set the CVSROOT environment variable to 
":pserver:anoncvs AT coqcvs.inria.fr:/coq".
  - For your fisrt connection, log in using 'cvs login' and the empty 
password.
  - Use 'cvs checkout dirname' to create a local copy of the sources in the 
current directory. Useful values of dirname are "V7" and "contrib". You can 
also browse the source tree to determine the name of the subtree in which you 
are interested.
  - Use 'cvs update' to bring your local copy of the sources up-to-date with 
respect to our repository.

  For general questions on Coq CVS Archive, please contact 
coqcvsmaster AT pauillac.inria.fr
 (make sure you understand CVS operation well before writing us).

 
  The Coq development team