diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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 |