From 59d458e04f8bb18cb120611c5cf8e3b78a7e31ad Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 18 Jul 2002 09:24:42 +0000 Subject: Mention known probs in prerel --- BUGS | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) (limited to 'BUGS') diff --git a/BUGS b/BUGS index eb39f2e4..f2618af2 100644 --- a/BUGS +++ b/BUGS @@ -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 + -- \ 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 -- cgit v1.2.3