From 49fda3fd12b9985da15a52756e4a18fd2bc5ba2b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 19 Jul 2002 10:38:48 +0000
Subject: Variable name change proof-comment-{start,end}-regexp ->
 proof-script-comment-{start,end}-regexp.

---
 isar/isar.el | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index 36bf8853..ee5ef811 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -67,8 +67,8 @@ See -k option for Isabelle interface script."
   "Detect new-style theory header in current buffer"
   (let ((header-regexp (isar-ids-to-regexp '("header" "theory")))
         (white-space-regexp "\\(\\s-\\|\n\\)+")
-        (cmt-end-regexp (regexp-quote proof-comment-end))
-        (cmt-start-regexp (regexp-quote proof-comment-start))
+        (cmt-end-regexp (regexp-quote proof-script-comment-end))
+        (cmt-start-regexp (regexp-quote proof-script-comment-start))
         (found-header nil) forward-amount
         (end (point-max)) (cont t) (cmt-level 0))
     (save-excursion
@@ -127,11 +127,11 @@ 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-comment-start          isar-comment-start
-   proof-comment-end            isar-comment-end
-   proof-comment-start-regexp   isar-comment-start-regexp
-   proof-comment-end-regexp     isar-comment-end-regexp
+;   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
+   proof-script-comment-end-regexp     isar-comment-end-regexp
    proof-string-start-regexp    isar-string-start-regexp
    proof-string-end-regexp      isar-string-end-regexp
 
-- 
cgit v1.2.3