Added Coq test results. Made reverse chronological order.

1 files changed, 35 insertions, 20 deletions

diff --git a/etc/testing-log.txt b/etc/testing-log.txt
index 6f6307ca..49817f27 100644
--- a/etc/testing-log.txt
+++ b/etc/testing-log.txt
@@ -1,20 +1,29 @@
-Mon Dec 14 15:02:52 GMT 1998  da
+Wed Dec 16 15:45:53 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"
+  Quick test of Coq mode.
 
-  Both successfully process example.l
+  xemacs -q -l ProofGeneral/generic/proof-site.el
 
-  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?
+  (setq proof-rsh-command "ssh hope")
+
+  Assertion and retraction commands work as far as I can
+  tell.  Using toolbar on file coq/example.v
 
-  Bugs: 
-    Killing off process shell via proof-shell-exit.
-    Killing proof script buffer gives error.
 
+Wed Dec 16 12:25:00 GMT 1998  tms
 
-Mon Dec 16 12:25:00 GMT 1998  tms
+  Clarification of entry "Mon Dec 14 15:02:52 GMT 1998  da"
+
+  The problem with LEGOVERSION "alpha" can also be reproduced with
+  lego 1.3.1 (and XEmacs 20.4 or FSF Emacs 20.2) and the file
+  lego/example2.l which accesses a module in a non-writable directory.
+  You need to set chmod u-w readonly yourself; CVS doesn't like
+  non-writable directories)
+  It is a LEGO specific problem. LEGO forgets about annotations
+  sometimes. This has been reported to lego@dcs.ed.ac.uk .
+
+
+Wed Dec 16 12:25:00 GMT 1998  tms
 
   On scar, tested Emacs 20.2.1 with lego 1.3.1 via "ssh craro",
   LEGOVERSION "std"
@@ -30,14 +39,20 @@ Mon Dec 16 12:25:00 GMT 1998  tms
   concerning. 
 
 
-Mon Dec 16 12:25:00 GMT 1998  tms
+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
+
+  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.
+
 
-  Clarification of entry "Mon Dec 14 15:02:52 GMT 1998  da"
 
-  The problem with LEGOVERSION "alpha" can also be reproduced with
-  lego 1.3.1 (and XEmacs 20.4 or FSF Emacs 20.2) and the file
-  lego/example2.l which accesses a module in a non-writable directory.
-  You need to set chmod u-w readonly yourself; CVS doesn't like
-  non-writable directories)
-  It is a LEGO specific problem. LEGO forgets about annotations
-  sometimes. This has been reported to lego@dcs.ed.ac.uk .
\ No newline at end of file