From ec2bdef0c33aa2e0389a50c35ba81bc778f28c90 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 15 May 2002 10:04:42 +0000
Subject: MAJ V7.3

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

(limited to 'README')

diff --git a/README b/README
index d4781f18ba..ed9a386c3a 100644
--- a/README
+++ b/README
@@ -1,5 +1,5 @@
 
-            		THE COQ V7.2 SYSTEM
+            		THE COQ V7.3 SYSTEM
             		===================
 
 INSTALLATION.
@@ -11,7 +11,7 @@ INSTALLATION.
 DOCUMENTATION.
 ==============
 
-   The documentation of Coq V7.2 is available by anonymous ftp (see below),
+   The documentation of Coq V7.3 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 .
 
-- 
cgit v1.2.3