From e4ce3196f9e265b43dc85e2b21097890ad7b152a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 22 Nov 1999 18:52:47 +0000
Subject: proof-shell-done-invisible -> proof-done-invisible again

---
 doc/ProofGeneral.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 778e104f..eff09dd7 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -3499,7 +3499,7 @@ a symbol, set to the callback command which is executed in the proof
 shell filter once @samp{string} has been processed.  The @samp{action} variable
 suggests what class of command is about to be inserted:
 @lisp
- @code{'proof-shell-done-invisible}      A non-scripting command
+ @code{'proof-done-invisible}      A non-scripting command
  @code{'proof-done-advancing}            A "forward" scripting command
  @code{'proof-done-retracting}           A "backward" scripting command
 @end lisp
-- 
cgit v1.2.3