From b9e7d7a8a12464ac804eb58ee0fa26fcfc2d5277 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 26 Nov 1999 17:44:47 +0000
Subject: Fix to proof-shell-proof-completed-regexp by reverting to previous
 version.

---
 isa/isa.el | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/isa/isa.el b/isa/isa.el
index 1f07827e..b1a17f29 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -157,9 +157,13 @@ and script mode."
    proof-shell-end-goals-regexp		"\367"
    proof-shell-goal-char	        ?\370
 
+   ;; FIXME da: this needs improvement.  I don't know why just
+   ;; "No subgoals!" isn't enough.  (Maybe anchored to end-goals
+   ;; for safety).  At the moment, this regexp reportedly causes
+   ;; overflows with large proof states. 
    proof-shell-proof-completed-regexp
    (concat proof-shell-start-goals-regexp
-	   "\\([\000-\377]*\nNo subgoals!\n\\)"
+	   "\\(\\(.\\|\n\\)*\nNo subgoals!\n\\)"
 	   proof-shell-end-goals-regexp)
 
    ;; initial command configures Isabelle by hacking print functions.
-- 
cgit v1.2.3