From 4d46d5e21936a10d62b739379166a7d41f510a33 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 23 Aug 1999 19:31:06 +0000 Subject: Mentioned a few tests --- etc/testing-log.txt | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/etc/testing-log.txt b/etc/testing-log.txt index 858ed98b..855a382f 100644 --- a/etc/testing-log.txt +++ b/etc/testing-log.txt @@ -1,3 +1,22 @@ +Mon Aug 23 19:00:26 BST 1999 da + + Summary of tests today: + + Proof General 2.0: sanity check. + Okay with XEmacs 20.4, lego 1.3.1 and Isabelle 98p1. + Strange overlay disappearing problem with FSF Emacs 20.2, + so must be X Server or architecture anomaly that causes + different display order. + + Today's Proof General. + + 1. With Isabelle 98p1, no go. + 2. Same show-stopper as above with Emacs 20.2 and 20.3. + Argh! I'm really fed up of FSF Emacs, it goes wrong + even when "nothing" has changed. + 3. With current Isabelle (or, at least, 99pre180899). + 4. Using x-symbol. No success, and a big mess (rebinds M-x !!?) + Thu Jan 21 14:27:36 GMT 1999 da Quick test for pipe communication with emacs 20.3. -- cgit v1.2.3