From ec8b8a5ebd913ace8bc746bdb5f93b7e6b425a8e Mon Sep 17 00:00:00 2001
From: barras
Date: Mon, 15 Mar 2004 17:00:28 +0000
Subject: preparation pour release (suite)

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

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index e411d0efef..ccfc65e065 100644
--- a/INSTALL
+++ b/INSTALL
@@ -35,8 +35,8 @@ INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS).
    in your $PATH environment variable. 
 
    To get Coq in native-code, (it runs 4 to 10 times faster than
-   bytecode, but it takes more time to compile, uses more space),
-   you will also need the "ocamlopt" (or its native code version
+   bytecode, but it takes more time to get compiled and the binary is
+   bigger), you will also need the "ocamlopt" (or its native code version
    "ocamlopt.opt") command.
 
 2- Check that you have Camlp4 installed on your 
-- 
cgit v1.2.3