From bcecd4f3d6ea0fa6e03cb3ecbbbfa0a0b9f977c8 Mon Sep 17 00:00:00 2001
From: mohring
Date: Tue, 10 Apr 2001 05:42:15 +0000
Subject: Mise a jour de la config pour distrib

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1569 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 INSTALL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index 757e405bda..4cfe3a264e 100644
--- a/INSTALL
+++ b/INSTALL
@@ -9,7 +9,7 @@ WHAT DO YOU NEED ?
    Coq is designed to work on computers equipped with the Unix operating 
    system. In order to compile Coq V7 you need:
 
-     - Objective Caml version 3.00 or later
+     - Objective Caml version 3.01 or later
        (available at http://caml.inria.fr/)
   
      - the Camlp4 preprocessor with same version number as ocaml
-- 
cgit v1.2.3