From 40abe2c17c9fd7cbdbae482c8e17070493f2c65a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 11 Dec 1998 17:04:18 +0000
Subject: Updates

---
 todo | 17 ++++++-----------
 1 file changed, 6 insertions(+), 11 deletions(-)

diff --git a/todo b/todo
index bc3814c8..e2c7dbf7 100644
--- a/todo
+++ b/todo
@@ -38,8 +38,6 @@ A*** Possible bug [Isabelle/all]:
  at the top of a script buffer, sometimes special commands like
  ProofGeneral.kill_goal(); are inserted without reason
 
-A ish Improve LEGO output.
-
 A ish BUG: catch bug on Solaris when process shell killed.
 
 
@@ -107,15 +105,12 @@ C da: goal-hyp: this should be more generic.  At the moment, there are
   default behaviour for proof-goal-hyp-fn a hook function.
   That will work for Isabelle too.   (15 mins)
 
-C Output filtering has some buglets:
-   1. proof-shell-filter could miss output in the unfortunate
-      circumstance that a prompt consists of more than one character and
-      is split between output chunks.  Really the matching should be
-      based on the buffer contents rather than the string just
-      received. [IMPORTANT]
-   2. Handling mixtures of urgent and non-urgent messages:
-      at the moment any non-urgent output *before* an urgent
-      message will not be displayed in the response buffer.  [MINOR]
+
+C Process handling output.
+  Handling mixtures of urgent and non-urgent messages:
+  at the moment any non-urgent output *before* an urgent
+  message will not be displayed in the response buffer.
+  Accept this as a feature for now.
 
 C  proof-goal-command-regexp: add this setting to coq.el.
    Rationalize use of proof-goal-command-p
-- 
cgit v1.2.3