From 3a24329664b22553a81216b829e5c5389e7dd6d4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Jul 2008 21:44:02 +0000
Subject: Documentation.

---
 generic/proof-config.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.
-- 
cgit v1.2.3