diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-04-21 22:40:45 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-21 22:40:45 +0000 |
commit | 8ae991c148d86724a43f778efd688705e0fe59a2 (patch) | |
tree | 6997828679997618314e4fe5d701af125a39abe1 /coq/README | |
parent | 1aaf83d4ce7ff643de45e85bf7f5a6bebaa8c38a (diff) |
Fix home page address, mention new menu option.
Diffstat (limited to 'coq/README')
-rw-r--r-- | coq/README | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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. =========================================================================== |