From 3ef7797ef6fc605dfafb32523261fe1b023aeecb Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Fri, 28 Apr 2006 14:59:16 +0000 Subject: Imported Upstream version 8.0pl3+8.1alpha --- INSTALL | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index ccfc65e0..56c03e2e 100644 --- a/INSTALL +++ b/INSTALL @@ -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/) -- cgit v1.2.3