diff options
author | 2006-11-21 21:38:49 +0000 | |
---|---|---|
committer | 2006-11-21 21:38:49 +0000 | |
commit | 70b9be8acc1d1ada178a95c1cd4013506e9d0d1b (patch) | |
tree | f672a286d962cc67c95874b3b60402fc957870b6 /INSTALL.ide | |
parent | a5bd4e097a94cc4f863bf4d4bcc5ce592c30ba47 (diff) | |
parent | 208a0f7bfa5249f9795e6e225f309cbe715c0fad (diff) |
Merge commit 'upstream/8.1.gamma' into 8.1
Diffstat (limited to 'INSTALL.ide')
-rw-r--r-- | INSTALL.ide | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/INSTALL.ide b/INSTALL.ide index d8f1208b..0ca3d9e0 100644 --- a/INSTALL.ide +++ b/INSTALL.ide @@ -9,7 +9,7 @@ DISCLAIMER: CoqIde is ongoing work. Eventhough it should never let you Do not hesitate to send suggestions/bug reports. REQUIREMENT: - - OCaml >= 3.06 with native thread support. + - OCaml >= 3.07 with native thread support. - make world must succeed. - The graphical toolkit Gtk 2.x. See http://www.gtk.org. The official supported version is at least 2.2.x. @@ -37,7 +37,7 @@ INSTALLATION http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html The first official release of lablftk2 is here: http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/dist/lablgtk-2.2.0.tar.gz - Note that even if its README requires ocaml > 3.07, it works ok with 3.06. + Note that even if its README requires ocaml > 3.07, it works ok with 3.07. If you are in a hurry just run : cd /tmp && \ |