From c0d693080a3108886d9ed6777c1b4c1ca741ed7d Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 20 Sep 2001 15:56:00 +0000
Subject: MAJ V7.1

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

(limited to 'README')

diff --git a/README b/README
index 6c08923569..2f51dbbd8d 100644
--- a/README
+++ b/README
@@ -1,6 +1,6 @@
 
-            		THE COQ V7.0 SYSTEM
-            		=================
+            		THE COQ V7.1 SYSTEM
+            		===================
 
 INSTALLATION.
 =============
@@ -8,15 +8,15 @@ INSTALLATION.
    See the file INSTALL for installation procedure.
 
 
-DOCUMENTATION. (not available for beta version)
+DOCUMENTATION.
 ==============
 
-   The documentation of Coq V7.0 is available by anonymous ftp (see below),
+   The documentation of Coq V7.1 is 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 .
 
 
-CHANGES. (beta version: a document Changes.ps explains the differences)
+CHANGES.
 ========
 
    There is a file named CHANGES that explains the differences and the
-- 
cgit v1.2.3