Patch to proof-shell-proof-completed-regexp to prevent overflow, sent by Markus

1 files changed, 1 insertions, 1 deletions

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.