diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-12 16:14:51 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-12 16:14:51 +0000 |
| commit | 0e72556eb9d98cfe775cf2482f2256cb0c187fe3 (patch) | |
| tree | 3f597f6b1964f04ef20dde6aabc31f76bd1fbefc /todo | |
| parent | a623f774917f6adc6eba47ad9c8c9d81b616bdad (diff) | |
Updated
Diffstat (limited to 'todo')
| -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 |