diff options
author | 2000-08-28 12:56:51 +0000 | |
---|---|---|
committer | 2000-08-28 12:56:51 +0000 | |
commit | 3be3f686767fc12b67f8e59288e6e3b2d688bee4 (patch) | |
tree | a0e52d684b191be367de6e6820a9911e4561170e /todo | |
parent | dc405d929acadd10297d1fdc9e63b08b2914a74c (diff) |
Added a couple of todos
Diffstat (limited to 'todo')
-rw-r--r-- | todo | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -54,6 +54,14 @@ X Solaris bugs: font locking and button enabling. *** Scheduled improvements for 3.2 +**** C Fix mode naming for Isabelle + (might like isa-proofscript-mode -> isa-mode; + but this conflicts with entry mechanism for thy/isa mode). + +**** A Add Pierre's improvements for X-Symbol config to other provers. + Perhaps there should be a default configuration for non-token + input languages? + **** A make C-c C-l go to bottom of response buffer while output is arriving (set-window-point (point)) or similar. |