diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-07-10 21:44:02 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-10 21:44:02 +0000 |
| commit | 3a24329664b22553a81216b829e5c5389e7dd6d4 (patch) | |
| tree | 8473316eda88c47f02702398c735c5b8e7dd2335 /generic | |
| parent | 8701c8fb6bd179e9784fd0769a3fd92ab443f0bd (diff) | |
Documentation.
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. |