diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 12:22:54 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 12:22:54 +0000 |
| commit | 997be051054e8d0321f17f2a5eedc64ce9df991b (patch) | |
| tree | f39f714e5b4e6d1c8209f305ea4b5de7a29d39e5 /generic/proof-config.el | |
| parent | 0a05713e408d1451b3a49a6aed55d52cca2f6dd9 (diff) | |
Comment
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'. |