aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--INSTALL9
-rw-r--r--INSTALL.win4
-rw-r--r--README10
-rw-r--r--README.win7
4 files changed, 15 insertions, 15 deletions
diff --git a/INSTALL b/INSTALL
index c8729d8d6..4c7ddc847 100644
--- a/INSTALL
+++ b/INSTALL
@@ -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
diff --git a/README b/README
index 6c0892356..2f51dbbd8 100644
--- a/README
+++ b/README
@@ -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/.