diff options
| -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. |