diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index be127b8a..dee2298e 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -56,7 +56,9 @@ is a space. ACTION is the callback to be invoked when this item has been processed by the prover. For normal scripting items it is `proof-done-advancing', for retract items -`proof-done-retracting', but there are more possibilities. +`proof-done-retracting', but there are more possibilities (e.g. +`proof-done-invisible', `proof-shell-set-silent' and +`proof-shell-clear-silent'). The DISPLAYFLAGS are set for non-scripting commands or for when scripting should not |