Imported Upstream version 8.0pl3+8.1alphaupstream/8.0pl3+8.1alpha

1 files changed, 6 insertions, 23 deletions

diff --git a/README.win b/README.win
index b8cc0c17..d4431ac6 100644
--- a/README.win
+++ b/README.win
@@ -1,4 +1,4 @@
-THE COQ V8.0 SYSTEM
+THE COQ V8.1 SYSTEM
 ===================
 
     This file contains remarks specific to the windows port of Coq.
@@ -6,26 +6,7 @@ THE COQ V8.0 SYSTEM
 INSTALLATION.
 =============
 
-    The windows distribution of Coq consists of an installer that should
-    perform all installation steps. CoqIde (a GTK interface to Coq) can
-    be installed. In case the GTK runtime libraries are not installed,
-    the Coq installer can be set to make a copy of those libraries
-    within the directory of Coq.
-    However, if the files are installed but Coq does not work properly,
-    some steps can be made manually.
-    Let us assume that the installation dir was c:\coq. The following
-    environment variables must be set as:
-      set COQBIN=c:\coq\bin
-      set COQLIB=c:\coq\lib
-    On win9x systems, this is achieved by inserting the 2 lines above
-    in the autoexec.bat file of the system. On other windows systems,
-    environment variables can be configured via the System application
-    of the Control Panel. Then select the Advanced tab.
-    The .bat files in c:\coq should now launch Coq (or CoqIde).
-    The COQBIN path can also be added to the PATH. This might be a
-    bad idea if the GTK libraries of Coq's installer were installed
-    since they might conflict with already installed GTK libraries.
-
+    See the file INSTALL.win for installation procedure.
 
 COMPILATION.
 ============
@@ -34,10 +15,12 @@ COMPILATION.
     distribution. If you really need to recompile under Windows, here
     are some indications:
 
-    1- Install ocaml version 3.06 or later (mingw port preferably).
+    1- Install ocaml version 3.06 or later, Visual C++ (needed
+       for the -custom option of ocaml) and MASM (needed if you want
+       to produce a native version).
 
     2- Install a complete set of Unix utilities (used by Makefiles). 
-       See: http://www.cygwin.com/.
+       See: http://sources.redhat.com/cygwin/.
 
     3- Under cygwin, type successively