diff options
| -rw-r--r-- | isar/isar.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isar/isar.el b/isar/isar.el index ba8d4469..e5886cf3 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -110,6 +110,7 @@ proof-script-command-start-regexp (proof-regexp-alt isar-any-command-regexp (regexp-quote ";")) + proof-script-integral-proofs t proof-comment-start isar-comment-start proof-comment-end isar-comment-end proof-comment-start-regexp isar-comment-start-regexp |