From be4ce535a4ef45bed083653ec8951b602378d8e5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Oct 1998 12:15:52 +0000
Subject: Fixed urgent message stuff.  proof-shell-process-urgent-messages now
 seems to correctly observe all messages which pass through.

---
 todo | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'todo')

diff --git a/todo b/todo
index 6f7b165f..2371f9f6 100644
--- a/todo
+++ b/todo
@@ -19,10 +19,6 @@ C  Remove "FIXME notes" which are just notes I've put in about old
 
 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)
-   (3h da)
-
 A* Fixup for non-script buffer locking:
 
     proof-locked-end called from wrong buffer when error message
-- 
cgit v1.2.3