From 54bdffb11596d5f9083c72690d147662a607ecf9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 26 Nov 1998 18:29:13 +0000
Subject: Added proof-shell-clear-goals-regexp.

---
 doc/ProofGeneral.texi | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'doc')

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
+
+
+
 
 
 
-- 
cgit v1.2.3