From ec2bdef0c33aa2e0389a50c35ba81bc778f28c90 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
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
---
 INSTALL | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index db08f13a2..bdd9ee43e 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,12 +1,12 @@
 
-            INSTALLATION PROCEDURES FOR THE COQ V7.2 SYSTEM
+            INSTALLATION PROCEDURES FOR THE COQ V7.3 SYSTEM
             -----------------------------------------------
 
 WHAT DO YOU NEED ?
 ==================
 
    Coq is designed to work on computers equipped with the Unix operating 
-   system. In order to compile Coq V7.2 you need:
+   system. In order to compile Coq V7.3 you need:
 
      - Objective Caml version 3.01 or later
        (available at http://caml.inria.fr/)
-- 
cgit v1.2.3