diff options
| -rw-r--r-- | isar/isar-syntax.el | 2 | ||||
| -rw-r--r-- | isar/isar.el | 4 |
2 files changed, 1 insertions, 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;" |