From b6a07a460cc530e7166af788b87ea861510c85cf Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 21 Jan 1999 14:23:01 +0000 Subject: Tested piped communication in emacs-20.3 --- etc/testing-log.txt | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/etc/testing-log.txt b/etc/testing-log.txt index 49817f27..858ed98b 100644 --- a/etc/testing-log.txt +++ b/etc/testing-log.txt @@ -1,3 +1,12 @@ +Thu Jan 21 14:27:36 GMT 1999 da + + Quick test for pipe communication with emacs 20.3. + Used C-c C-n and C-c C-u on example.ML file in + Isabelle successfully. + + (Tested 990115 prerelease with piped communication + patch in XEmacs already, for LEGO and Isabelle). + Wed Dec 16 15:45:53 GMT 1998 da Quick test of Coq mode. -- cgit v1.2.3