diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2001-08-30 19:25:22 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2001-08-30 19:25:22 +0000 |
| commit | 097e5d17498bc64a45aeaa7383d3db2b1bada222 (patch) | |
| tree | bc353117d6618833d62d066dbf064b7f94f8c169 | |
| parent | 7e22cd0bd7bc203de8be2260a49eb2445661c92c (diff) | |
proof-script-integral-proofs t;
| -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 |