blob: ccd65ec385b7bf27f279e987c40a6c5a70299b7e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
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
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?
Bugs:
Killing off process shell via proof-shell-exit.
Killing proof script buffer gives error.
|
