From 94b2d0305ad6caed4893e6da0ed83b5be8061fb4 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 22 Sep 1999 15:04:00 +0000
Subject: improved (?) proof-shell-proof-completed-regexp;

---
 isa/isa.el | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

diff --git a/isa/isa.el b/isa/isa.el
index 84dff6c5..5d23ca16 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -178,13 +178,10 @@ no regular or easily discernable structure."
    proof-shell-end-goals-regexp		"\367"
    proof-shell-goal-char	        ?\370
 
-   proof-shell-proof-completed-regexp   (concat 
-					 proof-shell-start-goals-regexp
-					 ;; FIXME: next regexp is horrible,
-					 ;; but seems only reliable way
-					 ;; of matching a string with n/ls.
-					 "[^\0]*"
-					 "No subgoals!")
+   proof-shell-proof-completed-regexp
+   (concat proof-shell-start-goals-regexp
+	   "\\(\\(.\\|\n\\)*\nNo subgoals!\n\\)"
+	   proof-shell-end-goals-regexp)
 
    ;; initial command configures Isabelle by hacking print functions.
    proof-shell-init-cmd                 "ProofGeneral.init false;"
-- 
cgit v1.2.3