From 8ae991c148d86724a43f778efd688705e0fe59a2 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 21 Apr 2004 22:40:45 +0000 Subject: Fix home page address, mention new menu option. --- coq/README | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'coq/README') diff --git a/coq/README b/coq/README index bc36df84..2bb90f33 100644 --- a/coq/README +++ b/coq/README @@ -6,8 +6,8 @@ Later contributions by Patrick Loiseleur, Pierre Courtieu, Status: supported Maintainer: Pierre Courtieu -Coq version: 6.3, 6.3.1, 7.x, 8.x -Coq homepage: http://pauillac.inria.fr/coq/assis-eng.html +=Coq version: 6.3, 6.3.1, 7.x, 8.0 +Coq homepage: http://coq.inria.fr/ =========================================================================== @@ -20,7 +20,7 @@ than a special language of tokens. See notes below for syntax. There is a tags program, coqtags. There is a menu option for running Coq V8 in compatibility mode -(i.e. with the -translate flag). +(i.e. with the -translate flag), see Coq -> Settings. =========================================================================== -- cgit v1.2.3