diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-04-21 22:52:06 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-21 22:52:06 +0000 |
commit | 8fe2660c3cdbb75c2067deae664d4f3242bb4d63 (patch) | |
tree | f2c3e305895b41fb9e2a0b7f9517ef34f3c2bd73 /coq/README | |
parent | 8ae991c148d86724a43f778efd688705e0fe59a2 (diff) |
Updated.
Diffstat (limited to 'coq/README')
-rw-r--r-- | coq/README | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -15,7 +15,8 @@ Coq Proof General has experimental multiple file handling for some versions. It does not have support for proof by pointing. There is support for X Symbol, using simple character sequences rather -than a special language of tokens. See notes below for syntax. +than a special language of tokens (which works well with V8's new +syntax!). See notes below. There is a tags program, coqtags. |