diff options
| -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 |