diff options
| author | David Aspinall | 2009-09-04 17:24:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-04 17:24:14 +0000 |
| commit | 8df41fe068be3fa3ea5d2b533215cc9678f03f4c (patch) | |
| tree | 23e3e046a2b949c49ae3e4aa392e514efaf35db8 | |
| parent | 56467f51a5a0b17d4041175672cfe0c0f1e6d8d1 (diff) | |
Add option to do command wrapping
| -rw-r--r-- | isar/isar.el | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index bd2216b4..64c66304 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -586,6 +586,11 @@ Checks the width in the `proof-goals-buffer'" (isar-string-wrapping string)) (proof-replace-regexp-in-string "\n" "\\\\<^newline>" string))) +(defcustom isar-wrap-commands-singly t + "Non-nil to use command wrapping around commands sent to Isabelle. +This slows down interactive processing somewhat." + :type 'boolean + :group 'isabelle) (defun isar-preprocessing () "Insert sync markers and other hacks. @@ -598,7 +603,9 @@ Uses variables `string' and `scriptspan' passed by dynamic scoping." (setq string (concat "\\<^sync>; " (isar-shell-adjust-line-width) - (isar-command-wrapping string scriptspan) + (if isar-wrap-commands-singly + (isar-command-wrapping string scriptspan) + (proof-replace-regexp-in-string "\n" "\\\\<^newline>" string)) " \\<^sync>;"))))) ;; |