diff options
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -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 |