From a1aef043973c8cf7456f7104abf448dc2bd9e3dd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 1 Dec 2009 11:02:19 +0000
Subject: Point to Trac #313

---
 coq/README | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'coq/README')

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$
-- 
cgit v1.2.3