diff options
| -rw-r--r-- | BUGS | 18 | ||||
| -rw-r--r-- | CHANGES | 2 |
2 files changed, 20 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 @@ -3,6 +3,8 @@ --- This is a development release of Proof General, --- --- some features may be incomplete or buggy. Please --- --- report any problems to da@dcs.ed.ac.uk, thanks. --- +--- Check the files BUGS and <prover>/BUGS first. --- + --- ID: $Id$ --- * Summary of Changes for Proof General 3.4pre from 3.3 |