From 997be051054e8d0321f17f2a5eedc64ce9df991b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 5 Sep 2009 12:22:54 +0000
Subject: Comment

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