diff options
Diffstat (limited to 'doc/ProofGeneral.texi')
| -rw-r--r-- | doc/ProofGeneral.texi | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 2d406d94..9910be75 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -2433,6 +2433,7 @@ Regexp matching output indicating a finished proof. Regexp matching output telling Proof General to clear the response buffer. This feature is useful to give the prover more control over what output is shown to the user. Set to nil to disable. +@c TEXI DOCSTRING MAGIC: proof-shell-clear-goals-regexp @end defvar @c TEXI DOCSTRING MAGIC: proof-shell-start-goals-regexp @defvar proof-shell-start-goals-regexp @@ -3244,6 +3245,10 @@ Ordinary output is only displayed when the proof action list becomes empty, to avoid a confusing rapidly changing output. @end defun +@c TEXI DOCSTRING MAGIC: proof-shell-filter-process-output + + + |