Updated

2 files changed, 36 insertions, 8 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: