From 6549a40f3ab0eefdcd827ed4449884239c0bf2b2 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Tue, 3 Nov 1998 10:08:30 +0000
Subject: A* Fix display handling problems  (tms, all week)

Done. :-)
---
 todo | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'todo')

diff --git a/todo b/todo
index 55a6a73a..a870125b 100644
--- a/todo
+++ b/todo
@@ -14,8 +14,6 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
-A* Fix display handling problems  (tms, all week)
-
 A* multiple files bug fix:
    It can happen (in Isabelle) that the prover retracts a file
    which asks for another to be retracted which is *not* on
@@ -73,6 +71,8 @@ C  Remove "FIXME notes" which are just notes I've put in about old
 
 C  Check on all FIXME notes.
 
+C  automise testing procedures in etc/
+
 C  Write proof-define-derived-mode which automatically adds a 
    call back hook somehow.  Propose this to maintainer of derived.el.
    (1.5hrs)
-- 
cgit v1.2.3