diff options
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index c472187e..aeaecac0 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1691,7 +1691,7 @@ output format." :group 'proof-shell) (defcustom proof-state-change-hook nil - "This hook is called when state change may have occurred. + "This hook is called when a scripting state change may have occurred. Specifically, this hook is called after a region has been asserted or retracted, or after a command has been sent to the prover with `proof-shell-invisible-command'. |