From 182291d8c9ece57e730ac79b4f2d9825f7d14e19 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 26 Sep 2001 15:26:11 +0000
Subject: MAJ V7.1

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

(limited to 'doc/README')

diff --git a/doc/README b/doc/README
index 832e6167c0..5a248ea471 100755
--- a/doc/README
+++ b/doc/README
@@ -1,7 +1,7 @@
 You can get the whole documentation of Coq in the tar file all-ps-docs.tar.
 
 You can also get separately each document. The documentation of Coq
-V6.3.1 is divided into the following documents :
+V7.1 is divided into the following documents :
 
      * Tutorial.ps: An introduction to the use of the Coq Proof Assistant;
 
@@ -32,8 +32,8 @@ V6.3.1 is divided into the following documents :
 
      * Library.ps: A description of the Coq standard library;
 
-     * Changes.ps: A description of the differences between the
-       versions V6.3 and V6.3.1;
+     * CHANGES: A description of the differences between the
+       versions 6.3.1 and V7.1;
 
      * rectypes.ps : A tutorial on recursive types by Eduardo Gimenez
 
-- 
cgit v1.2.3