From ddbaaac9404e0925bb0e99e393103e8e6143333f Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 18 Aug 1999 17:06:14 +0000
Subject: proof-shell-start-goals-regexp: include \n;

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

diff --git a/isar/isar.el b/isar/isar.el
index 972ef947..19967f85 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -203,7 +203,7 @@
    ;;        set somewhere else.  
    proof-shell-goal-regexp		"\370[ \t]*\\([0-9]+\\)\\."
 
-   proof-shell-start-goals-regexp	"\366"
+   proof-shell-start-goals-regexp	"\366\n"
    proof-shell-end-goals-regexp		"\367"
    proof-shell-goal-char	        ?\370
    ;; initial command configures Isabelle/Isar by modifying print functions etc.
-- 
cgit v1.2.3