Updated

3 files changed, 48 insertions, 9 deletions

diff --git a/etc/junk.el b/etc/junk.el
index d16b7f61..3f66f664 100644
--- a/etc/junk.el
+++ b/etc/junk.el
@@ -6,6 +6,30 @@
 ;;; removed from main PG (or never added).
 ;;; Left here in case they're useful later.
 ;;;
+;;; Also some testing code.
+;;;
+
+;;; TESTING FRAGMENTS
+
+;;; special display regexps
+(setq special-display-regexps
+     (cons "\\*isabelle-\\(goals\\|response\\)\\*"
+	     special-display-regexps))
+
+
+;;; dump str to buffer ug for testing.
+(defun ugit (str)
+  (save-excursion
+    (set-buffer (get-buffer-create "ug"))
+    (goto-char (point-max))
+    (insert str)
+    (newline)
+    (newline)))
+
+
+
+
+;;; OLD CODE
 
 (defun proof-set-toggle (sym value)
   "Try to set a boolean variable <blah>-enable using function <blah>-toggle."
@@ -59,11 +83,3 @@ arrive."
 
 
 
-;; dump str to buffer ug for testing.
-(defun ugit (str)
-  (save-excursion
-    (set-buffer (get-buffer-create "ug"))
-    (goto-char (point-max))
-    (insert str)
-    (newline)
-    (newline)))
diff --git a/etc/testing-log.txt b/etc/testing-log.txt
index 855a382f..5dce8d54 100644
--- a/etc/testing-log.txt
+++ b/etc/testing-log.txt
@@ -1,3 +1,15 @@
+Thu Nov 11 19:05:39 GMT 1999
+
+ Tested response buffer display: see isa/message-test.ML
+ Made output more regular by removing spurious space/newline 
+ after every prompt, and padding response buffer with 
+ newlines when messages aren't newline terminated.
+
+ Testing window management for multiple frames.  Could find no
+ evidence of old bug message in code about with
+ special-display-regexps, script buffer gets made into
+ dedicated buffer.  Removed the comment.
+
 Mon Aug 23 19:00:26 BST 1999 da
 
   Summary of tests today:
diff --git a/todo b/todo
index 8da45f46..74215be8 100644
--- a/todo
+++ b/todo
@@ -39,12 +39,16 @@ X (Low)     probably not worth spending time on
 ====================================
 
 A Pending work, in progress [da]:
+  
+   - FSF Fixes.   Stacks, oh no.
 
    - name changes: proof-window-dedicated -> proof-keep-windows
            proof-shell-{start,end,goal,blah} -> proof-goals-{blah}
            pbp-{blah} -> proof-goals-{blah}, new proof-goals.el  [maybe later]
      
-
+   - display functions: auto-delete-windows doesn't seem to work
+   with window-dedicated any more (should switch between 2/3 bufs
+   as appropriate?).
 
 
     - reorganization and improvement of menus, keybindings
@@ -60,6 +64,13 @@ re-enabled), proof-toggle-scripting, new configuration options.
     - noticeable delay when loading ML files for Isabelle (fontification?)
     - clean up assert-until-point stuff at last!
 
+B BUGLETS:
+   * FSF Emacs poor fontification first time round, maybe before
+     font-lock has loaded.  Right way to start it seems to be
+     by doing global-font-lock-mode.
+
+   
+
 B Have seen "confused" bug: shows up when do lots of C-c C-n as
   process is starting up.