diff options
| -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 |