From 097e5d17498bc64a45aeaa7383d3db2b1bada222 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 30 Aug 2001 19:25:22 +0000
Subject: proof-script-integral-proofs t;

---
 isar/isar.el | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit v1.2.3