diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-03-24 16:21:25 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-24 16:21:25 +0000 |
commit | a42ec4ac01a949165485bd348678b11c40d0a4b1 (patch) | |
tree | d76823a1d3e6bae1850417f39670891d10b7aa87 | |
parent | 51d13aed20e77d5cd3433d4c061794265e3dbf25 (diff) |
Updated
-rw-r--r-- | hol98/todo | 2 | ||||
-rw-r--r-- | todo | 7 |
2 files changed, 8 insertions, 1 deletions
@@ -20,4 +20,6 @@ See also ../todo for generic things to do, priority codes. ** B Add support for proof by pointing. +** B Output highlighting doesn't seem to work properly. + @@ -30,7 +30,7 @@ X (Low) e.g. probably not worth spending time on *** Scheduled improvements for 3.2 **** A Add a new keymap(s) for proof assistants. - Presently they naugthily bind C-c <letter> which are reserved for + Presently they naughtily bind C-c <letter> which are reserved for users. As a prelude to introducing more prover-specific commands, we should change these. New map choices: @@ -86,6 +86,11 @@ X (Low) e.g. probably not worth spending time on ** 2. Things to in the generic interface +*** C Is there a way to make colours defined for x work in mswindows too? + + defface specs with (type x) seem to work fine with (type mswindows) too. + Hassle to duplicate, is there an easy way to cover both? + *** C Fix spurious output of Coq and HOL from first line When synchronization is first gained, previous line of output |