diff options
| author | David Aspinall | 1998-11-18 13:33:00 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-18 13:33:00 +0000 |
| commit | df7729b5dd85647dad604310b0b5d26f1649c2a0 (patch) | |
| tree | bd1dd59ee127537f60468bac2f68fbaddb0d04bd /generic/proof-script.el | |
| parent | 8bc42afd5bcd0e615d844874df1516445cf15a3a (diff) | |
. bug fix for proof-shell-live-buffer.
. bug fix for proof-shell-filter for case that prompt isn't seen in first
output chunk.
. bug fix of handling urgent messages in delayed output: skip past
the last one seen. Previously messages were put into the
response buffer *twice* (first time highlighted). Don't clear
the response buffer between urgent messages and delayed output
within the same prompt-delimited region.
. big improvement of display handling for response buffer, via new
function proof-shell-maybe-erase-response.
. added proof-shell-clear-response-regexp
. docstring fixes.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions