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.

---
 generic/proof-config.el | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 67deb0e4..636f1f1f 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -752,6 +752,13 @@ is shown to the user.  Set to nil to disable."
   :type 'regexp
   :group 'proof-shell)
 
+(defcustom proof-shell-clear-goals-regexp nil
+  "Regexp matching output telling Proof General to clear the goals buffer.
+This feature is useful to give the prover more control over what output
+is shown to the user.  Set to nil to disable."
+  :type 'regexp
+  :group 'proof-shell)
+
 (defcustom proof-shell-start-goals-regexp ""
   "Regexp matching the start of the proof state output."
   :type 'regexp
-- 
cgit v1.2.3