From 3b5d51c37781b16e74fe7bab2e12c80dc86aa86a Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Fri, 15 Apr 2011 11:47:51 +0000
Subject: * fix overwriting setq coq-prog-name before loading Proof General *
 more complete callback listing in proof-action list doc

---
 generic/proof-shell.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index be127b8a..dee2298e 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -56,7 +56,9 @@ is a space.
 ACTION is the callback to be invoked when this item has been
 processed by the prover. For normal scripting items it is
 `proof-done-advancing', for retract items
-`proof-done-retracting', but there are more possibilities.
+`proof-done-retracting', but there are more possibilities (e.g.
+`proof-done-invisible', `proof-shell-set-silent' and
+`proof-shell-clear-silent').
 
 The DISPLAYFLAGS are set
 for non-scripting commands or for when scripting should not
-- 
cgit v1.2.3