From 9561bdabd3d80cbc71540ae2a1ea1aa74430ad95 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 22 Jun 2011 09:40:22 +0000 Subject: Remove pointer to closed ticket --- coq/README | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'coq') diff --git a/coq/README b/coq/README index ebd15123..755c27cf 100644 --- a/coq/README +++ b/coq/README @@ -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/ ======================================== -- cgit v1.2.3