diff options
author | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-04-14 10:34:47 +0000 |
---|---|---|
committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-04-14 10:34:47 +0000 |
commit | 95348ce89fd285985ba60ae2f231825758106069 (patch) | |
tree | 7bd950fa4c34b5059ef568dbc8dd5515b974561a | |
parent | f2ffd8d6213b4d3a05b5925e616a2382c10a3451 (diff) |
Maj configure, README, etc...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8712 85f007b7-540e-0410-9357-904b9bb8a0f7
-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 |