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

---
 isa/isa.el | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'isa')

diff --git a/isa/isa.el b/isa/isa.el
index 56f82a68..292f6095 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -157,9 +157,6 @@ no regular or easily discernable structure."
    
    ;; nothing appropriate for: proof-shell-abort-goal-regexp
 
-   ;; proof-shell-noise-regexp isn't used anywhere at the moment.
-   proof-shell-noise-regexp	        "val it = () : unit\n"
-
    ;; matches names of assumptions
    proof-shell-assumption-regexp	isa-id
    ;; matches subgoal name
-- 
cgit v1.2.3