diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-16 09:33:35 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-16 09:33:35 +0000 |
| commit | 43f05158948e421d3971fd85f0ed35d26a626187 (patch) | |
| tree | 50a073fb5dffb6976e5c3cc771b9cf8ebe428bf4 /todo | |
| parent | 2dbce5c88bbf12e21c71f6e47337200a7a2bf070 (diff) | |
Updated.
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -5,21 +5,20 @@ 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 +* THINGS TO DO BEFORE/DURING 3.5 RELEASE *** Spam-protect email addresses on web pages *** Fixup HTML on mailing list pages *** Update documentation. + --- MMM support + --- Theorem dependencies *** Emacs Bug Roundup --- xemacs support for nested comments?? --- xemacs undo in read-only regions -*** Finish/cleanup MMM support for Isar. Document. - Add MMM for other provers where relevant - *** Isabelle tweaks -- theorem dependencies on spoils ordinary response buffer output (dependency info *after* response display loses) @@ -64,6 +63,8 @@ X (Low) e.g. probably not worth spending time on ** 2. Things to do in the generic interface +*** C Add MMM for other provers where relevant/useful + *** C Further display management improvement (it's a nightmare) Glitches to resolve: -- suggestion to cache window height: could implement this |