From c53748333325f6fb90b09f40ea87c6dbe7142140 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 19 Dec 2001 12:12:40 +0000
Subject: MAJ 7.2

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2337 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 INSTALL    | 4 ++--
 README     | 4 ++--
 README.win | 8 ++++++--
 3 files changed, 10 insertions(+), 6 deletions(-)

diff --git a/INSTALL b/INSTALL
index 4c7ddc8477..db08f13a2d 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,12 +1,12 @@
 
-            INSTALLATION PROCEDURES FOR THE COQ V7.1 SYSTEM
+            INSTALLATION PROCEDURES FOR THE COQ V7.2 SYSTEM
             -----------------------------------------------
 
 WHAT DO YOU NEED ?
 ==================
 
    Coq is designed to work on computers equipped with the Unix operating 
-   system. In order to compile Coq V7.1 you need:
+   system. In order to compile Coq V7.2 you need:
 
      - Objective Caml version 3.01 or later
        (available at http://caml.inria.fr/)
diff --git a/README b/README
index 2f51dbbd8d..d4781f18ba 100644
--- a/README
+++ b/README
@@ -1,5 +1,5 @@
 
-            		THE COQ V7.1 SYSTEM
+            		THE COQ V7.2 SYSTEM
             		===================
 
 INSTALLATION.
@@ -11,7 +11,7 @@ INSTALLATION.
 DOCUMENTATION.
 ==============
 
-   The documentation of Coq V7.1 is available by anonymous ftp (see below),
+   The documentation of Coq V7.2 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 .
 
diff --git a/README.win b/README.win
index 65ccb00a2d..5d55de4775 100644
--- a/README.win
+++ b/README.win
@@ -23,8 +23,12 @@ COMPILATION.
     2- Install a complete set of Unix utilities (used by Makefiles). 
        See: http://sources.redhat.com/cygwin/.
 
-    3- Compilation of camlp4 files must be done by hand in two steps (and not
-       only one as it is case in the Makefile).
+    3- Under cygwin, type successively
+
+        ./configure
+        make world
+        make install
+        make clean
 
     4- Though not nescessary, you can find useful:
          - Windows version of (X)Emacs: it is a powerful environment for
-- 
cgit v1.2.3