From 26bb252c7c70edb11c534f40f2e971a1662f5dad Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 23 Nov 1999 14:11:15 +0000
Subject: Patch to proof-shell-proof-completed-regexp to prevent overflow, sent
 by Markus

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

diff --git a/isa/isa.el b/isa/isa.el
index b080fc35..1f07827e 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -159,7 +159,7 @@ and script mode."
 
    proof-shell-proof-completed-regexp
    (concat proof-shell-start-goals-regexp
-	   "\\(\\(.\\|\n\\)*\nNo subgoals!\n\\)"
+	   "\\([\000-\377]*\nNo subgoals!\n\\)"
 	   proof-shell-end-goals-regexp)
 
    ;; initial command configures Isabelle by hacking print functions.
-- 
cgit v1.2.3