From 89f4ac8070b2b7505dde4be775f764493af3bea3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 14 Dec 1998 15:17:34 +0000
Subject: Another FSF bug found in the new filter functions, this time for
 script buffer.

---
 etc/testing-log.txt | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/etc/testing-log.txt b/etc/testing-log.txt
index 8a4b7374..ccd65ec3 100644
--- a/etc/testing-log.txt
+++ b/etc/testing-log.txt
@@ -4,11 +4,16 @@ Mon Dec 14 15:02:52 GMT 1998  da
 		      with lego 1.3.1 via "ssh craro", LEGOVERSION "std"
 
   Both successfully process example.l
-  Bug with killing off process shell via proof-shell-exit remains.
 
   With lego 1.3.1 via "ssh craro", LEGOVERSION "alpha", 
   processing gets stuck, never reports "imports done".  
   Is this a bug or problem with LEGO installation?
+
+  Bugs: 
+    Killing off process shell via proof-shell-exit.
+    Killing proof script buffer gives error.
+
+
   
   
 
-- 
cgit v1.2.3