diff options
| author | David Aspinall | 1999-01-21 14:23:01 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-01-21 14:23:01 +0000 |
| commit | b6a07a460cc530e7166af788b87ea861510c85cf (patch) | |
| tree | 96f547e5cdf622c24f46fd64bc99829c38323fd9 | |
| parent | ebe2ce9e1cc8475e4fdf79e6c7a548315a7fa3e7 (diff) | |
Tested piped communication in emacs-20.3
| -rw-r--r-- | etc/testing-log.txt | 9 |
1 files changed, 9 insertions, 0 deletions
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. |