From 45b3277ca4c41a723a90df17518aed7c991743bf Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Tue, 10 Nov 1998 16:52:09 +0000
Subject: Removed references of proof-shell-noise-regexp

---
 generic/proof-config.el | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 5a5bc089..d76b7fcc 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -851,10 +851,6 @@ assistant, for example, to switch to a new theory."
 Used by proof mode to parse proofstate output, and also
 to set outline heading regexp.")
 
-(defvar proof-shell-noise-regexp nil
-  "Unwanted information output from the proof process within
-  `proof-start-goals-regexp' and `proof-end-goals-regexp'.")
-
 (defvar proof-analyse-using-stack nil
   "Are annotations sent by proof assistant local or global")
 
-- 
cgit v1.2.3