diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-10-01 11:48:38 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-01 11:48:38 +0000 |
| commit | 7af0b5b970aa72c7b9997a8107c961ee99fce3ec (patch) | |
| tree | ecdf66343372c030cc32ed364da5135f9712c377 /coq/README | |
| parent | 232d0543bbd73d719049bdd3f4184ba617f0506f (diff) | |
Update version numbers, release dates
Diffstat (limited to 'coq/README')
| -rw-r--r-- | coq/README | 8 |
1 files changed, 2 insertions, 6 deletions
@@ -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: |