diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-03-30 12:19:36 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-03-30 12:19:36 +0000 |
commit | 605f3048c4ccd7cfe9267ccdf02e6a87c6775295 (patch) | |
tree | a17c2e4f1a0d8d2e9cb92fdbe6af3a30e4db9b6a | |
parent | c193b1d3e1bbb52ebc8f6551c921ceb007019dea (diff) |
Updated.
-rw-r--r-- | todo | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -7,6 +7,18 @@ This is an outline file. Use C-c C-n, C-c C-p or menu to navigate. * THINGS TO DO BEFORE 3.5 RELEASE +*** Strange bug Gerwin reported with restarting Isabelle/logic name. + Busy wait triggered, proof-shell-busy stays set. + +*** Use of regexps in isar-syntax.el --- problems with retraction. + +*** Automatically processing files before deactivating scripting: warning + messages from Isabelle when asking it to remove files that it says + are already removed (noticed with auto action set to process). + + Something has broken with multiple-file scripting here: perhaps an + Isabelle problem. + *** Emacs Bug Roundup --- xemacs support for nested comments --- xemacs undo in read-only regions |