From 275adbd95f84422f92f9c556cee12b5c64a3ee81 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 19 May 2000 09:44:55 +0000
Subject: isar-verbatim-regexp: include \n;

---
 isar/isar-syntax.el | 2 +-
 isar/isar.el        | 4 ----
 2 files changed, 1 insertion(+), 5 deletions(-)

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index ee7bb275..98eb0f01 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -169,7 +169,7 @@
   (concat "\\(" (proof-ids-to-regexp isar-keywords-theory-goal) "\\)" isar-name-regexp ":")
   "Regexp matching goal commands in Isabelle/Isar which name a theorem")
 
-(defconst isar-verbatim-regexp "^\^VERBATIM: \\(.*\\)"
+(defconst isar-verbatim-regexp "^\^VERBATIM: \\(\\(.\\|\n\\)*\\)$"
   "Regexp matching internal marker for verbatim command output")
 
 (defun isar-verbatim (str)
diff --git a/isar/isar.el b/isar/isar.el
index 48ac8325..870f3b45 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -278,10 +278,6 @@
    proof-shell-init-cmd                 (concat
 					 (isar-verbatim 
 					  "ProofGeneral.init true;")
-					 ;; FIXME: markus, could you sort this?
-					 ;; Doesn't seem to work, maybe
-					 ;; should be done later?  with verb?
-					 ;; or before PG.init without m/u?
 					 "\n"
 					 (isabelle-set-default-cmd))
    proof-shell-restart-cmd		"ProofGeneral.restart;"
-- 
cgit v1.2.3