diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-06-02 08:26:07 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-06-02 08:26:07 +0000 |
| commit | d1261e3fc160402a15c6c710ca97b4d94911f247 (patch) | |
| tree | 6f69c061c15bb198e2e6c628629207fb28ff69af /README | |
| parent | f1e2156b64d2b201662e2e80a1144481fa3b0537 (diff) | |
MAJ doc
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5779 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'README')
| -rw-r--r-- | README | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -11,9 +11,9 @@ INSTALLATION. DOCUMENTATION. ============== - The documentation of Coq V8.0 available by anonymous ftp (see below), - in a directory doc/. The documents are available separately or - all together in the tar file all-docs.tar . + The documentation of Coq V8.0 is available by anonymous ftp (see below), + in a directory doc/. It is also available on Coq web site at + http://coq.inria.fr/doc-eng.html. CHANGES. @@ -39,7 +39,7 @@ THE COQ CLUB. discuss questions about the Coq system and related topics. The submission address is: - coq-club@pauillac.inria.fr + coq-club@coq.inria.fr The topics to be discussed in the club should include: @@ -56,7 +56,7 @@ THE COQ CLUB. To be added to, or removed from, the mailing list, please write to: - coq-club-request@pauillac.inria.fr + coq-club-request@coq.inria.fr Please use also this address for any questions/suggestions about the Coq Club. It might sometimes take a few days before your messages get @@ -72,7 +72,7 @@ BUGS REPORT. or by E-mail to - coq-bugs@pauillac.inria.fr + coq-bugs@coq.inria.fr To be effective, bug reports should mention the Caml version used to compile and run Coq, the Coq version (coqtop -v), the configuration |