diff options
| -rw-r--r-- | isar/isar.el | 2 |
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 () |