diff options
Diffstat (limited to 'BUGS')
-rw-r--r-- | BUGS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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] |