aboutsummaryrefslogtreecommitdiffhomepage
path: root/README.win
diff options
context:
space:
mode:
authorGravatar notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7>2006-09-01 13:55:18 +0000
committerGravatar notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7>2006-09-01 13:55:18 +0000
commitaf1b1dc39df2f23aef7c108e542c2bf08f916a87 (patch)
treefb6ab09bcfac0493516e894e594571f72d8c346f /README.win
parentced086814dcb43f53f2a4e413515685d744a7993 (diff)
Coq ne compile plus avec OCaml 3.06 (mais avec 3.07 c'est ok)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9116 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'README.win')
-rw-r--r--README.win2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.win b/README.win
index d4431ac6f..ee64a54d9 100644
--- a/README.win
+++ b/README.win
@@ -15,7 +15,7 @@ COMPILATION.
distribution. If you really need to recompile under Windows, here
are some indications:
- 1- Install ocaml version 3.06 or later, Visual C++ (needed
+ 1- Install ocaml version 3.07 or later, Visual C++ (needed
for the -custom option of ocaml) and MASM (needed if you want
to produce a native version).