diff options
| author | David Aspinall | 1998-12-16 15:31:21 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-16 15:31:21 +0000 |
| commit | 69dcecfc6b8a30b95d5ed6b9d93e4c25878a06b6 (patch) | |
| tree | e3615b1a756fa85f818dec2017f03a3da2b312fc /generic/proof-script.el | |
| parent | b5aa4038d919755dda68b5a20323e8b20b04924f (diff) | |
Removed suspected bug mentioned by David von O. Now assumed to
be due to his own hacking of Proof General.
Added proof-shell-exit item concerning the time delay built-in.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions