From 8c5354db713be2ae16e4e01dfe77343b18012a4c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 14 Dec 1998 15:12:29 +0000
Subject: Log of testing results.

---
 etc/testing-log.txt | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 etc/testing-log.txt

diff --git a/etc/testing-log.txt b/etc/testing-log.txt
new file mode 100644
index 00000000..8a4b7374
--- /dev/null
+++ b/etc/testing-log.txt
@@ -0,0 +1,15 @@
+Mon Dec 14 15:02:52 GMT 1998  da
+
+  Tested Emacs 20.2.1 with lego 1.3 via "ssh hope", 
+		      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?
+  
+  
+
+
-- 
cgit v1.2.3