From 8fe2660c3cdbb75c2067deae664d4f3242bb4d63 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 21 Apr 2004 22:52:06 +0000
Subject: Updated.

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

diff --git a/coq/README b/coq/README
index 2bb90f33..97ea8ec8 100644
--- a/coq/README
+++ b/coq/README
@@ -15,7 +15,8 @@ Coq Proof General has experimental multiple file handling for some
 versions.  It does not have support for proof by pointing.
 
 There is support for X Symbol, using simple character sequences rather
-than a special language of tokens.  See notes below for syntax.
+than a special language of tokens (which works well with V8's new
+syntax!).  See notes below.
 
 There is a tags program, coqtags.
 
-- 
cgit v1.2.3