diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 16:12:00 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 16:12:00 +0000 |
| commit | 92e004a02ca887e5f8f10a8ba3b75660adad6b6e (patch) | |
| tree | b4414075e7466965eb93465215a4bc0f75dfe26c /BUGS | |
| parent | 1715b7d36b9d65120041ce1061e742b8ab0d4140 (diff) | |
Update
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] |