diff options
-rw-r--r-- | INSTALL | 4 | ||||
-rw-r--r-- | README | 4 | ||||
-rw-r--r-- | README.win | 8 |
3 files changed, 10 insertions, 6 deletions
@@ -1,12 +1,12 @@ - INSTALLATION PROCEDURES FOR THE COQ V7.1 SYSTEM + INSTALLATION PROCEDURES FOR THE COQ V7.2 SYSTEM ----------------------------------------------- WHAT DO YOU NEED ? ================== Coq is designed to work on computers equipped with the Unix operating - system. In order to compile Coq V7.1 you need: + system. In order to compile Coq V7.2 you need: - Objective Caml version 3.01 or later (available at http://caml.inria.fr/) @@ -1,5 +1,5 @@ - THE COQ V7.1 SYSTEM + THE COQ V7.2 SYSTEM =================== INSTALLATION. @@ -11,7 +11,7 @@ INSTALLATION. DOCUMENTATION. ============== - The documentation of Coq V7.1 is available by anonymous ftp (see below), + The documentation of Coq V7.2 is available by anonymous ftp (see below), in a directory doc/. The documents are available separately or all together in the tar file all-docs.tar . diff --git a/README.win b/README.win index 65ccb00a2..5d55de477 100644 --- a/README.win +++ b/README.win @@ -23,8 +23,12 @@ COMPILATION. 2- Install a complete set of Unix utilities (used by Makefiles). See: http://sources.redhat.com/cygwin/. - 3- Compilation of camlp4 files must be done by hand in two steps (and not - only one as it is case in the Makefile). + 3- Under cygwin, type successively + + ./configure + make world + make install + make clean 4- Though not nescessary, you can find useful: - Windows version of (X)Emacs: it is a powerful environment for |