Updated

1 files changed, 15 insertions, 0 deletions

diff --git a/todo b/todo
index 7cee3c8a..44036243 100644
--- a/todo
+++ b/todo
@@ -23,6 +23,10 @@ A* FINAL STUFF BEFORE RELEASE (da):
       kill-buffer hook
       Isabelle: reports .ML loaded after doing use-theory.
 
+  Suspected problem with process handling:
+
+    Isabelle outputs a prompt so that PG can recognize stream of
+    urgent messages.      
 
 A Revise ProofGeneral.texi and publish LaTeX version as an LFCS
   Technical Report (2+2 days; da + tms)
@@ -35,6 +39,17 @@ A* Is it possible to let C-c C-c (SIGINT) issue additional process input?
    Poly/ML requires an 'f' at the interrupt handler's prompt to proceed, or
    rather fail gracefully.
 
+B Fixup display problems.
+   The window dedicated stuff is a real pain and I've
+   spent ages inserting workarounds.  Why do we want it??
+   The latest problem is that with
+    (setq special-display-regexps
+	 (cons "\\*Inferior .*-\\(goals\\|response\\)\\*"
+		     special-display-regexps))
+   I get the script buffer made into a dedicated buffer,
+   presumably because the wrong window is selected in
+   proof-display-and-keep-buffer?
+
 B Make completion more generic. For Isabelle and Lego, we can build a
   completion table by querying the process, which is better than
   messing with tags.