diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-12-14 15:12:29 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-14 15:12:29 +0000 |
| commit | 8c5354db713be2ae16e4e01dfe77343b18012a4c (patch) | |
| tree | b39d51ecef856dc944a298cbff03fefeb9083cc8 | |
| parent | b83abcab8c6f9b6b1c6e275fbc9eb97da4b3b457 (diff) | |
Log of testing results.
| -rw-r--r-- | etc/testing-log.txt | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/etc/testing-log.txt b/etc/testing-log.txt new file mode 100644 index 00000000..8a4b7374 --- /dev/null +++ b/etc/testing-log.txt @@ -0,0 +1,15 @@ +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 + Bug with killing off process shell via proof-shell-exit remains. + + 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? + + + + |