diff options
| -rw-r--r-- | INSTALL | 4 | ||||
| -rw-r--r-- | INSTALL.macosx | 2 | ||||
| -rw-r--r-- | README | 4 | ||||
| -rw-r--r-- | README.win | 2 | ||||
| -rwxr-xr-x | configure | 4 |
5 files changed, 8 insertions, 8 deletions
@@ -1,12 +1,12 @@ - INSTALLATION PROCEDURES FOR THE COQ V8.0 SYSTEM + INSTALLATION PROCEDURES FOR THE COQ V8.1 SYSTEM ----------------------------------------------- WHAT DO YOU NEED ? ================== Coq is designed to work on computers equipped with the Unix operating - system. In order to compile Coq V8.0 you need: + system. In order to compile Coq V8.1 you need: - Objective Caml version 3.06 or later (available at http://caml.inria.fr/) diff --git a/INSTALL.macosx b/INSTALL.macosx index b756bdb7c..ac9c3e052 100644 --- a/INSTALL.macosx +++ b/INSTALL.macosx @@ -1,4 +1,4 @@ -INSTALLATION PROCEDURE FOR THE COQ V8.0 SYSTEM UNDER MACOS X +INSTALLATION PROCEDURE FOR THE COQ V8.1 SYSTEM UNDER MACOS X ------------------------------------------------------------ 1) Download archive coq-8.0-macosx.dmg. @@ -1,5 +1,5 @@ - THE COQ V8.0 SYSTEM + THE COQ V8.1 SYSTEM =================== INSTALLATION. @@ -11,7 +11,7 @@ INSTALLATION. DOCUMENTATION. ============== - The documentation of Coq V8.0 is available by anonymous ftp (see below), + The documentation of Coq V8.1 is available by anonymous ftp (see below), in a directory doc/. It is also available on Coq web site at http://coq.inria.fr/doc-eng.html. diff --git a/README.win b/README.win index 4d698e93b..d4431ac6f 100644 --- a/README.win +++ b/README.win @@ -1,4 +1,4 @@ -THE COQ V8.0 SYSTEM +THE COQ V8.1 SYSTEM =================== This file contains remarks specific to the windows port of Coq. @@ -6,7 +6,7 @@ # ################################## -VERSION=trunk +VERSION=8.1-alpha DATE="Mar 2006" # a local which command for sh @@ -467,7 +467,7 @@ PRINTF=`which printf` # Subdirectories of theories/ added in coq_config.ml subdirs () { - (cd $1; find * -type d ! -name CVS -exec $PRINTF "\"%s\";\n" {} \; | grep -v extraction/test | grep -v correctness >> $mlconfig_file) + (cd $1; find * -type d ! -name .svn -exec $PRINTF "\"%s\";\n" {} \; | grep -v extraction/test | grep -v correctness >> $mlconfig_file) } echo "let theories_dirs = [" >> $mlconfig_file |