From 74daec10e036df10d9f3b75103277087a8456ef2 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 19 Jul 2002 16:48:56 +0000
Subject: Known issues

---
 BUGS | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'BUGS')

diff --git a/BUGS b/BUGS
index 323e5d0c..91dd97ab 100644
--- a/BUGS
+++ b/BUGS
@@ -8,12 +8,12 @@ a patch...)
 
 
 ** X-Symbol probs with Isabelle
-   -- \<tokens> don't immediately get decoded
-   -- latin1 chars get saved in file
-   -- superscripts/subscripts not fully working [menu option] 
-
-
+   -- latin1 chars may get saved in file [XE 21.1 only?]
+   -- superscripts/subscripts not fully working [menu option ignored] 
 
+** X-Symbol probs with Coq, LEGO
+   -- X-Symbol 4.x not supported, don't try it or your Emacs will 
+      explode
 
 -----------------------------------------------------------------
 
-- 
cgit v1.2.3