From d1261e3fc160402a15c6c710ca97b4d94911f247 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 2 Jun 2004 08:26:07 +0000
Subject: MAJ doc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5779 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 README | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/README b/README
index 1f959a9a83..f801891ebc 100644
--- a/README
+++ b/README
@@ -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
-- 
cgit v1.2.3