isar-preprocessing: replace \n by \<^newline>;

1 files changed, 1 insertions, 1 deletions

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 ()