diff options
| -rw-r--r-- | todo | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -29,6 +29,10 @@ X (Low) e.g. probably not worth spending time on *** Outstanding bugs to investigate +A file-loading messages from Isabelle not recognized any more? (multiple file eg) + +B Keybindings for processing theory in thy mode gone?? + B Exiting isar broken? C Undoing comments with FSF Emacs weirdness. @@ -56,6 +60,10 @@ X Solaris bugs: font locking and button enabling. *** Scheduled improvements for 3.2 +**** C sanity checks for proof shell config variables. + +**** C Canvas FSF Emacs to include -syntactic-context -locate-file fns from XEmacs. + **** A Clean up intro for PG-adapting manual. **** C Fix mode naming for Isabelle |