diff options
| author | David Aspinall | 1999-11-22 18:52:47 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-22 18:52:47 +0000 |
| commit | e4ce3196f9e265b43dc85e2b21097890ad7b152a (patch) | |
| tree | 340b5345b03e054cb0b45c6fc2afd32a63d77cf5 /doc | |
| parent | 943b92c15f616944b6b48e35fecf0fb31ce40c0e (diff) | |
proof-shell-done-invisible -> proof-done-invisible again
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 |