From a1e8f2592c8e889726047217e5ea36b68b17f93b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Jul 2002 23:27:09 +0000
Subject: X-sym bug

---
 coq/BUGS | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/coq/BUGS b/coq/BUGS
index daf31a4d..d4df41c3 100644
--- a/coq/BUGS
+++ b/coq/BUGS
@@ -4,12 +4,15 @@
 
 See also ../BUGS for generic bugs.
 
+** X-Symbol does not work on GNU Emacs.  
+
+Please don't even try it, it will mess up your Emacs.  
+
 ** With new syntax in Coq 7, comments at end of files cannot be processed.
 
 Leads to annoying retract/process questions when switching buffers.
 Workaround: don't use a comment as the last line of the buffer, for now.
 
-
 ** coqtags doesn't find all declarations. 
 
 It cannot handle lists e.g., with "Parameter x,y:nat" it only tags x
-- 
cgit v1.2.3