From a33a90a4d91df59c51ee51061157ae11209507ee Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sun, 12 Feb 2006 13:47:18 +0000
Subject: isar-preprocessing: replace \n by \<^newline>;

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

diff --git a/isar/isar.el b/isar/isar.el
index 1d1fe5c4..41871478 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -590,7 +590,7 @@ Checks the width in the `proof-goals-buffer'"
                   ;; (if (proof-string-match "\\.ML$" (buffer-name proof-script-buffer))
                   ;;    (format "ML_command {* %s *};" string)
                   ;;    string)
-                  string
+                  (proof-replace-regexp-in-string "\n" "\\\\<^newline>" string)
                   " \\<^sync>;"))))
 
 (defun isar-mode-config ()
-- 
cgit v1.2.3