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.

---
 isa/isa.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'isa')

diff --git a/isa/isa.el b/isa/isa.el
index 0318ffad..98bb9d99 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -73,8 +73,8 @@ and script mode."
    proof-mode-for-script	'isa-proofscript-mode
    ;; proof script syntax
    proof-terminal-char		?\;	; ends a proof
-   proof-comment-start		"(*"	; comment in a proof
-   proof-comment-end		"*)"	; 
+   proof-script-comment-start		"(*"	; comment in a proof
+   proof-script-comment-end		"*)"	; 
    ;; Next few used for func-menu and recognizing goal..save regions in
    ;; script buffer.
    proof-save-command-regexp    isa-save-command-regexp
-- 
cgit v1.2.3