diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 09:24:42 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 09:24:42 +0000 |
commit | 59d458e04f8bb18cb120611c5cf8e3b78a7e31ad (patch) | |
tree | 6cbc9f4fafbee9b0c478553c91a76736a5709bfa /BUGS | |
parent | 643352f432c596f248b5b876ebf2d06633bddd8b (diff) |
Mention known probs in prerel
Diffstat (limited to 'BUGS')
-rw-r--r-- | BUGS | 18 |
1 files changed, 18 insertions, 0 deletions
@@ -1,5 +1,23 @@ -*- outline -*- +* Known issues which will be resolved before 3.4 + +The items below are known and will be fixed (I hope!) before 3.4 +is released. Please don't send email about them (unless you have +a patch...) + + +** X-Symbol probs with Isabelle + -- \<tokens> don't immediately get decoded + -- latin1 chars get saved in file + -- superscripts/subscripts broken + + + + +----------------------------------------------------------------- + + * Known Bugs and Workarounds for Proof General. Contact: mailto:bugs@proofgeneral.org |