diff options
| author | David Aspinall | 1998-11-25 12:51:08 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 12:51:08 +0000 |
| commit | d9ff5de7e25061167572845525fde6e9d426ddba (patch) | |
| tree | 11a265bb7b14344a75e8aea38e63571394140437 /generic/proof-script.el | |
| parent | fdaa5ea4bed2b26242f01122d24bb4dcb63aec78 (diff) | |
In filter: minor improvement for when proof-shell-wakeup-char is set.
In proof-shell-handle-error:
Make action list empty to prevent proof shell filter seeing
same error over and over in case user types directly in shell
buffer after an error.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions