diff options
| author | herbelin | 2001-10-01 12:43:32 +0000 |
|---|---|---|
| committer | herbelin | 2001-10-01 12:43:32 +0000 |
| commit | de4df15b3dc66cfad2364019a2b7485b313a89f5 (patch) | |
| tree | 1203e8488362e8761ed8d1095397591c7d80369d | |
| parent | 11dd363f5135c8a200a276117e63059286141b73 (diff) | |
Il faut camlp4 > 3.01.6 pour windows
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2089 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | README.win | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/README.win b/README.win index 2babbb0143..65ccb00a2d 100644 --- a/README.win +++ b/README.win @@ -16,7 +16,7 @@ COMPILATION. are some indications: 1- Install ocaml version 3.01 or later and camlp4 with same - version number as ocaml (must be compiled), Visual C++ (needed + version number as ocaml (but at least 3.01.6), Visual C++ (needed for the -custom option of ocaml) and MASM (needed if you want to produce a native version). |