diff options
| -rw-r--r-- | INSTALL | 9 | ||||
| -rw-r--r-- | INSTALL.win | 4 | ||||
| -rw-r--r-- | README | 10 | ||||
| -rw-r--r-- | README.win | 7 |
4 files changed, 15 insertions, 15 deletions
@@ -1,12 +1,12 @@ - INSTALLATION PROCEDURES FOR THE COQ V7.0 SYSTEM - --------------------------------------------- + INSTALLATION PROCEDURES FOR THE COQ V7.1 SYSTEM + ----------------------------------------------- WHAT DO YOU NEED ? ================== Coq is designed to work on computers equipped with the Unix operating - system. In order to compile Coq V7.0 you need: + system. In order to compile Coq V7.1 you need: - Objective Caml version 3.01 or later (available at http://caml.inria.fr/) @@ -19,7 +19,6 @@ WHAT DO YOU NEED ? comes as a single compressed tar-file. You have probably already decompressed it if you are reading this document. - (beta version, tested and compiled only on i386 Linux) QUICK INSTALLATION PROCEDURE. ============================= @@ -33,7 +32,7 @@ QUICK INSTALLATION PROCEDURE. INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS). ================================================= -1- Check that you have the Objective Caml compiler version 3.00 (or later) +1- Check that you have the Objective Caml compiler version 3.01 (or later) installed on your computer and that "ocamlmktop" and "ocamlc" (or its native code version "ocamlc.opt") lie in a directory which is present in your $PATH environment variable. diff --git a/INSTALL.win b/INSTALL.win index 7d3dfe105..f3a20f572 100644 --- a/INSTALL.win +++ b/INSTALL.win @@ -30,7 +30,7 @@ done by adding the following line to your AUTOEXEC.BAT: set PATH=%PATH%;C:\coq\bin You may also want to specify where Coq has to look for your configuration -file (.coqrc or .coqrc.6.3.1), e.g.: +file .coqrc (not mandatory), e.g.: set HOME=C:\My_Documents\Coq @@ -50,7 +50,7 @@ adding the following lines to your AUTOEXEC.BAT: set COQLIB=D:\My_Dir\coq\lib You may also want to specify where Coq has to look for your configuration -file (.coqrc or .coqrc.6.3.1), e.g.: +file .coqrc (not mandatory), e.g.: set HOME=C:\My_Documents\Coq @@ -1,6 +1,6 @@ - THE COQ V7.0 SYSTEM - ================= + THE COQ V7.1 SYSTEM + =================== INSTALLATION. ============= @@ -8,15 +8,15 @@ INSTALLATION. See the file INSTALL for installation procedure. -DOCUMENTATION. (not available for beta version) +DOCUMENTATION. ============== - The documentation of Coq V7.0 is available by anonymous ftp (see below), + The documentation of Coq V7.1 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 . -CHANGES. (beta version: a document Changes.ps explains the differences) +CHANGES. ======== There is a file named CHANGES that explains the differences and the diff --git a/README.win b/README.win index 2dcaba9d6..2babbb014 100644 --- a/README.win +++ b/README.win @@ -15,9 +15,10 @@ COMPILATION. distribution. If you really need to recompile under Windows, here are some indications: - 1- Install ocaml, camlp4 (must be compiled), Visual C++ (needed for the - -custom option of ocaml) and MASM (needed if you want to produce a - native version). + 1- Install ocaml version 3.01 or later and camlp4 with same + version number as ocaml (must be compiled), Visual C++ (needed + for the -custom option of ocaml) and MASM (needed if you want + to produce a native version). 2- Install a complete set of Unix utilities (used by Makefiles). See: http://sources.redhat.com/cygwin/. |