diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-12-01 11:02:19 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-12-01 11:02:19 +0000 |
| commit | a1aef043973c8cf7456f7104abf448dc2bd9e3dd (patch) | |
| tree | 32a4f9afd8c5d4424dd24bbea897ad3d5bf4029c /coq/README | |
| parent | 5ceef45ab14985583c4da9b4627aaf1104b938e6 (diff) | |
Point to Trac #313
Diffstat (limited to 'coq/README')
| -rw-r--r-- | coq/README | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -65,6 +65,9 @@ Grammar for Unicode Tokens: See example-tokens.v in this directory for examples. + See trac ticket http://proofgeneral.inf.ed.ac.uk/trac/ticket/313 + to suggest fixes/changes/adjustments. + ======================================== $Id$ |