Fixed urgent message stuff. proof-shell-process-urgent-messages

now seems to correctly observe all messages which pass through.

1 files changed, 0 insertions, 4 deletions

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