From 3eaaf39929b20b04c062aab72bb0e6ccf7968b8a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Oct 1998 11:38:29 +0000
Subject: Removed proof-shell-error-regexp's match on warnings -- wrong!

---
 isa/isa-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el
index 0fef96ab..33e73d41 100644
--- a/isa/isa-syntax.el
+++ b/isa/isa-syntax.el
@@ -102,7 +102,7 @@
 
 ;; this should come from isa-ml-compiler stuff.
 (defcustom isa-error-regexp 
-  "^.*Error:\\|^\\*\\*\\*\\|^\\#\\#\\#"
+  "^.*Error:\\|^\\*\\*\\*"
   "A regexp indicating that Isabelle has identified an error."
   :type 'string
   :group 'isa-syntax)
-- 
cgit v1.2.3