diff options
Diffstat (limited to 'generic')
| -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 31575da4..fe31721e 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -2152,7 +2152,7 @@ if you don't need it (slight speed penalty)." :group 'proof-shell) (defcustom proof-shell-insert-hook nil - "Hooks run by proof-shell-insert before inserting a command. + "Hooks run by `proof-shell-insert' before inserting a command. Can be used to configure the proof assistant to the interface in various ways -- for example, to observe or alter the commands sent to the prover, or to sneak in extra commands to configure the prover. |