diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-07-19 16:48:56 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-19 16:48:56 +0000 |
commit | 74daec10e036df10d9f3b75103277087a8456ef2 (patch) | |
tree | 548be9c38a1edaec3aeafb716c8fcc8e80f769e5 /BUGS | |
parent | 3363fb13095d3bac6ca02253e2ddffac883593cb (diff) |
Known issues
Diffstat (limited to 'BUGS')
-rw-r--r-- | BUGS | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -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 ----------------------------------------------------------------- |