From 92e004a02ca887e5f8f10a8ba3b75660adad6b6e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Jul 2002 16:12:00 +0000
Subject: Update

---
 BUGS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/BUGS b/BUGS
index f2618af2..323e5d0c 100644
--- a/BUGS
+++ b/BUGS
@@ -10,7 +10,7 @@ a patch...)
 ** X-Symbol probs with Isabelle
    -- \<tokens> don't immediately get decoded
    -- latin1 chars get saved in file
-   -- superscripts/subscripts broken
+   -- superscripts/subscripts not fully working [menu option] 
 
 
 
-- 
cgit v1.2.3