diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-05-07 00:02:04 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-05-07 00:02:04 +0000 |
| commit | 7885665da5161b1fb31c5e2a65693704eabb3d88 (patch) | |
| tree | 3f169ce395f6e657c378fce82da5305d3b03ec6c /CHANGES | |
| parent | 969d971f2d7339a3a03271eb86e82452599348a0 (diff) | |
point to Coq/README for syntax.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -271,6 +271,7 @@ will be asked if you want to save abbrevs, answer yes. *** X-symbols are much improved (more symbols, cleaner grammar) Much more symbols are supported now (C-= C-= for the symbol table). +See coq/README for more details, including the syntax of sub/superscripts. ** Additional instances of Proof General |