From 79aa4978cc7395fa5e134e48e627e1b11e96648f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 30 Aug 2002 17:44:41 +0000
Subject: Use old parser still for Isar for time being (see note in source)

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

diff --git a/isar/isar.el b/isar/isar.el
index dc716f35..037077c7 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -120,7 +120,7 @@ See -k option for Isabelle interface script."
                                       isar-any-command-regexp
                                       (regexp-quote ";"))
    proof-script-integral-proofs t
-;   proof-script-use-old-parser  t
+   proof-script-use-old-parser  t
    proof-script-comment-start          isar-comment-start
    proof-script-comment-end            isar-comment-end
    proof-script-comment-start-regexp   isar-comment-start-regexp
-- 
cgit v1.2.3