From a42ec4ac01a949165485bd348678b11c40d0a4b1 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 24 Mar 2000 16:21:25 +0000 Subject: Updated --- hol98/todo | 2 ++ todo | 7 ++++++- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/hol98/todo b/hol98/todo index 6f8f6f95..d65df204 100644 --- a/hol98/todo +++ b/hol98/todo @@ -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. + diff --git a/todo b/todo index 2bbf8936..983c42e5 100644 --- a/todo +++ b/todo @@ -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 which are reserved for + Presently they naughtily bind C-c 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 -- cgit v1.2.3