diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-02-03 08:33:29 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-02-03 08:33:29 +0000 |
| commit | 777a06c8b165f245a064e188c4da3739bd555cc7 (patch) | |
| tree | f3d6ef80595c5ed9c54dc5a32254100478f5376b /README.win | |
| parent | eb3f8a09ad53adc744ba7399f5bff875affa5126 (diff) | |
release 7.4; changement magic number
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3652 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'README.win')
| -rw-r--r-- | README.win | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/README.win b/README.win index 9716d49ac..b1054c97d 100644 --- a/README.win +++ b/README.win @@ -15,8 +15,7 @@ COMPILATION. distribution. If you really need to recompile under Windows, here are some indications: - 1- Install ocaml version 3.01 or later and camlp4 with same - version number as ocaml (but at least 3.01.6), Visual C++ (needed + 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). |