| Age | Commit message (Collapse) | Author |
|---|
|
|
|
proof-shell-last-output-kind and friends
|
|
|
|
|
|
Unify goals and response menus with script buffer menu
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
proof-shell-invisible-command: add terminator if it seems to be
missing (after all: it's useful for users with C-c C-v).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
issue with non-mule FSF Emacs (that was something different).
|
|
|
|
|
|
|
|
jrl's bug report about duplication of occasional urgent messages.
The correct fix is to set proof-shell-eager-annotation-start-length
properly.
|
|
functions.
|
|
|
|
|
|
|
|
add function for new multiple frames user option.
Don't display "done" in goals buffer (may never happen anyway)
Remove code for response buffer erasing.
Clean some comments.
|
|
|
|
|
|
|
|
|
|
fix 'no-catch for exited tag' buglet.
|
|
|
