From 5670cc17f6bfc5b6757f9f950c55c267abe1c818 Mon Sep 17 00:00:00 2001 From: herbelin Date: Sat, 27 Dec 2003 20:37:22 +0000 Subject: MAJ git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5155 85f007b7-540e-0410-9357-904b9bb8a0f7 --- INSTALL | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index 72c4d2fdc..e411d0efe 100644 --- a/INSTALL +++ b/INSTALL @@ -1,12 +1,12 @@ - INSTALLATION PROCEDURES FOR THE COQ V7.4 SYSTEM + INSTALLATION PROCEDURES FOR THE COQ V8.0 SYSTEM ----------------------------------------------- WHAT DO YOU NEED ? ================== Coq is designed to work on computers equipped with the Unix operating - system. In order to compile Coq V7.4 you need: + system. In order to compile Coq V8.0 you need: - Objective Caml version 3.06 or later (available at http://caml.inria.fr/) @@ -49,7 +49,7 @@ INSTALLATION PROCEDURE IN DETAILS (NORMAL USERS). you do not have to check this point anymore. 3- The uncompression and un-tarring of the distribution file gave birth - to a directory named "coq-7.xx". You can rename this directory and put + to a directory named "coq-8.xx". You can rename this directory and put it wherever you want. Just keep in mind that you will need some spare space during the compilation (reckon on about 50 Mb of disk space for the whole system in native-code compilation). Once installed, the -- cgit v1.2.3