From 523c41fea16971cce581e12751dbf3ded2b22839 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 26 Oct 1998 14:28:25 +0000
Subject: Updated

---
 todo | 16 +++-------------
 1 file changed, 3 insertions(+), 13 deletions(-)

diff --git a/todo b/todo
index 831efe57..1ea581e3 100644
--- a/todo
+++ b/todo
@@ -14,19 +14,9 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
-A* WARNING WARNING WARNING
-
-    Changes pending in proof-script.el, proof-shell.el:
-
-     proof-check-process-available
-
-    will be replaced by *two* functions
- 
-     proof-activate-scripting
-     proof-shell-ready-prover
-
-    Do not edit this function!
-
+A* Fix bugs in proof-shell-output-filter to deal with prompts
+   and urgent messages which are split across comint globbing
+   boundaries.  (Should match strings in buffer instead) 
 
 A* Fixup for non-script buffer locking:
 
-- 
cgit v1.2.3