MAJ

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1186 85f007b7-540e-0410-9357-904b9bb8a0f7

3 files changed, 12 insertions, 11 deletions

diff --git a/ANNONCE b/ANNONCE
index fb6129318..05c82c789 100644
--- a/ANNONCE
+++ b/ANNONCE
@@ -1,7 +1,7 @@
 
   The LogiCal team (ex-Coq team) is releasing a new version of Coq.
-Its name is V7.0beta. This new version is a transition version and is
-provided for users willing to experiment the new features which are:
+Its name is V7.0beta. This new version is provided for users willing
+to experiment the new features which are:
 
   - a primitive let-in construct
   - qualified names (such as Logic.f_equal)
diff --git a/INSTALL b/INSTALL
index 8bdcfed80..757e405bd 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,6 +1,7 @@
 
             INSTALLATION PROCEDURES FOR THE COQ V7 SYSTEM
             ---------------------------------------------
+                          (beta version)
 
 WHAT DO YOU NEED ?
 ==================
@@ -19,6 +20,7 @@ WHAT DO YOU NEED ?
    comes as a single compressed tar-file. You have probably already
    decompressed it if you are reading this document.
 
+   (beta version, tested and compiled only on i386 Linux)
 
 QUICK INSTALLATION PROCEDURE.
 =============================
@@ -51,9 +53,9 @@ INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS).
 3- The uncompression and un-tarring of the distribution file gave birth 
    to a directory named "coq-7.xx". You can rename this directory and put 
    it wherever you want. Just keep in mind that you will need some spare
-   space during the compilation (about 20 Mb of disk space for the whole
-   system in bytecode, and 15 Mb more for native-code compilation). Once
-   installed, the binaries take about 14 Mb, and the library about 9 Mb.
+   space during the compilation (reckon on about 50 Mb of disk space
+   for the whole system in native-code compilation). Once installed, the
+   binaries take about 14 Mb, and the library about 9 Mb.
 
 4- First you need to configure the system. It is done automatically with
    the command:
@@ -247,5 +249,3 @@ MOVING BINARIES OR LIBRARY.
    the binaries directory) and -libdir (for the standard library directory) :
 
 	coqtop -bindir <new directory> -libdir <new directory>
-
-
diff --git a/README b/README
index b3a1efa4e..1b2164ee3 100644
--- a/README
+++ b/README
@@ -1,6 +1,7 @@
 
             		THE COQ V7 SYSTEM
             		=================
+                          (beta version)
 
 INSTALLATION.
 =============
@@ -8,7 +9,7 @@ INSTALLATION.
    See the file INSTALL for installation procedure.
 
 
-DOCUMENTATION.
+DOCUMENTATION. (not available for beta version)
 ==============
 
    The documentation of Coq V7 is available by anonymous ftp (see below),
@@ -16,7 +17,7 @@ DOCUMENTATION.
    all together in the tar file all-docs.tar .
 
 
-CHANGES.
+CHANGES. (beta version: a document Changes.ps explains the differences)
 ========
 
    There is a file named CHANGES that explains the differences and the
@@ -39,7 +40,7 @@ THE COQ CLUB.
    discuss questions about the Coq system and related topics. The submission
    address is:
 
-	coq-club@margaux.inria.fr
+	coq-club@pauillac.inria.fr
 
    The topics to be discussed in the club should include:
 
@@ -56,7 +57,7 @@ THE COQ CLUB.
 
    To be added to, or removed from, the mailing list, please write to:
 
-	coq-club-request@margaux.inria.fr
+	coq-club-request@pauillac.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