Update

1 files changed, 1 insertions, 1 deletions

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]