diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-06-22 09:40:22 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-06-22 09:40:22 +0000 |
commit | 9561bdabd3d80cbc71540ae2a1ea1aa74430ad95 (patch) | |
tree | f314eb725a644c7bf6b0a1f3aedec59b3383a5c3 /coq/README | |
parent | eac716c06a46fb4d6dda137cd44ed616a1c2dff4 (diff) |
Remove pointer to closed ticket
Diffstat (limited to 'coq/README')
-rw-r--r-- | coq/README | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -61,8 +61,8 @@ 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. + Please suggest any extensions/improvements on Trac, at + http://proofgeneral.inf.ed.ac.uk/trac/ ======================================== |