diff options
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 && \ |