diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-10-15 14:18:03 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-10-15 14:18:03 +0000 |
| commit | ebd3b16b3f00ff8fc7efc05e0fe5a37476bddbc8 (patch) | |
| tree | 77a39fec44b4fb8bf0e54e408d0e2506a7a42850 | |
| parent | cf9d2459ad77301e5357807e768580aa48eb3c64 (diff) | |
*** empty log message ***
| -rw-r--r-- | todo | 13 |
1 files changed, 9 insertions, 4 deletions
@@ -424,15 +424,20 @@ D Add ability to choose logic. Maybe not necessary: can use default user-saved databases. (ponder this) +X New features ideas: + 1. Manage multiple proofs (markers in possibly different buffers) + B Set wakeup-char by using Isabelle's ml-prompts function. X Add Isabelle logo to splash screen. (30 mins) +* FSF Emacs +=========== - - -* Emacs19 -========= +B According to the documentation of font-lock for Emacs 20.2, it + should suffice to set (add-hook 'lego-mode-hook 'turn-on-font-lock) + but this doesn't seem to work. Perhaps define-derived-mode doesn't + set up lego-mode correctly? (1h) * Release |