From dff98e3aed41983095a3f5d5bf53e14cc6b94936 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Oct 1998 12:15:29 +0000
Subject: Checked through span code.  Commented out dead bits

---
 todo | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'todo')

diff --git a/todo b/todo
index 9a1c5b96..6f7b165f 100644
--- a/todo
+++ b/todo
@@ -15,8 +15,9 @@ X (Low)    probably not worth wasting time on
 ====================================================================
 
 C  Remove "FIXME notes" which are just notes I've put in about old
-   code in case something breaks   (da, 30mins). 
+   code in case something breaks   (da, 30mins).
 
+C  Check on all FIXME notes.
 
 A* Fix bugs in proof-shell-filter. Don't assume that full match is
    contained in filter chunk.(Should match strings in buffer instead)
-- 
cgit v1.2.3