From 75441a61e232861c4536b94ca462d3783d6c27e8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 12 Nov 1998 14:36:22 +0000
Subject: Fixed error regexp

---
 isa/ProofGeneral.ML | 4 ++--
 isa/isa.el          | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/isa/ProofGeneral.ML b/isa/ProofGeneral.ML
index 4036061c..1986422d 100644
--- a/isa/ProofGeneral.ML
+++ b/isa/ProofGeneral.ML
@@ -156,9 +156,9 @@ in
       (prs_fn := 
 	   (fn s => out ("\240" ^ s ^ "\241"));
        warning_fn :=
-	   (fn s => out ("\242" ^ (prefix_lines "###" s) ^ "\243"));
+	   (fn s => out ("\242" ^ (prefix_lines "### " s) ^ "\243"));
        error_fn :=
-	   (fn s => out ("\244" ^ (prefix_lines "***" s) ^ "\245")))
+	   (fn s => out ("\244" ^ (prefix_lines "*** " s) ^ "\245")))
 end;
 
 (* add specials to ml prompts *)
diff --git a/isa/isa.el b/isa/isa.el
index 55e17f25..fa69d878 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -168,7 +168,7 @@ no regular or easily discernable structure."
    proof-shell-proof-completed-regexp   "No subgoals!"
 
    ;; FIXME: the next two are probably only good for NJ/SML
-   proof-shell-error-regexp		"^.*Error:\\|^\\*\\*\\*"
+   proof-shell-error-regexp		"^.*Error:\\|^\\364\\*\\*\\*"
    proof-shell-interrupt-regexp         "Interrupt"
    
    ;; nothing appropriate for: proof-shell-abort-goal-regexp
-- 
cgit v1.2.3