From 7af0b5b970aa72c7b9997a8107c961ee99fce3ec Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 1 Oct 2010 11:48:38 +0000 Subject: Update version numbers, release dates --- coq/README | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) (limited to 'coq/README') diff --git a/coq/README b/coq/README index d977f485..e5fbd31a 100644 --- a/coq/README +++ b/coq/README @@ -6,20 +6,16 @@ Later contributions by Patrick Loiseleur, Pierre Courtieu, Status: supported Maintainer: Pierre Courtieu -Coq version: 8.1 +Coq version: 8.2 Coq homepage: http://coq.inria.fr/ =========================================================================== Coq Proof General has support for Unicode Tokens, using simple character -sequences rather than a special language of tokens (which works well -with V8's new syntax!). See notes below. +sequences rather than a special language of tokens. See notes below. There is a tags program, coqtags. -There is a menu option for running Coq V8 in compatibility mode -(i.e. with the -translate flag), see Coq -> Settings. - =========================================================================== Installation notes: -- cgit v1.2.3