Variable name change proof-comment-{start,end}-regexp -> proof-script-comment-{start,end}-regexp.

1 files changed, 2 insertions, 2 deletions

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