diff options
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -32,6 +32,11 @@ WHAT DO YOU NEED ? - Objective Caml version 3.12.1 or later (available at http://caml.inria.fr/) + - Findlib (included in OCaml binary distribution under windows and + probably available in your distribution and at + http://projects.camlcity.org/projects/findlib.html) + + - Camlp5 (version >= 6.02) (Coq compiles with Camlp4 but might be less well supported) |