Imported Upstream version 8.3.pl2upstream/8.3.pl2

1 files changed, 8 insertions, 4 deletions

diff --git a/README.win b/README.win
index a8714f4e..dcbf37b5 100644
--- a/README.win
+++ b/README.win
@@ -9,9 +9,9 @@ INSTALLATION.
     The Coq package for Windows comes with an auto-installer. It will
 install Coq binaries and libraries under any directory you specify
 (C:\Program Files\Coq is the default path). It also creates shortcuts
-in the Windows menus. Alternatively, you can launch Coq using Coq.bat
-and Coqide.bat in the installation directory (C:\Program Files\Coq by
-default).
+in the Windows menus. Alternatively, you can launch Coq using coqide.exe
+or coqtop.exe in the bin sub-directory of the installation
+(C:\Program Files\Coq\bin by default).
 
 COMPILATION.
 ============
@@ -20,7 +20,7 @@ COMPILATION.
     distribution. If you really need to recompile under Windows, here
     are some indications:
 
-    1- Install ocaml for Windows (MinGW port), at least version 3.09.3.
+    1- Install ocaml for Windows (MinGW port), at least version 3.10.2.
        See: http://caml.inria.fr
 
     2- Install a shell environment with at least:
@@ -52,4 +52,8 @@ COMPILATION.
 
     Good luck :-)
 
+    Alternatively, it is now possible (and even recommended ...) to build
+    Windows executables of coq from Linux thanks to a mingw cross-compiler.
+    If interested, please contact us for more details.
+
     The Coq Team.