A* Fix display handling problems (tms, all week)

Done. :-)

1 files changed, 2 insertions, 2 deletions

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)