MAJ V7.1

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

1 files changed, 3 insertions, 3 deletions

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