1 files changed, 3 insertions, 0 deletions
diff --git a/coq/README b/coq/README
index 934ec0cd..d977f485 100644
--- a/coq/README
+++ b/coq/README
@@ -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$