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

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

(limited to 'phox')

diff --git a/phox/phox.el b/phox/phox.el
index c7d11ba6..07511184 100644
--- a/phox/phox.el
+++ b/phox/phox.el
@@ -104,8 +104,8 @@
   (setq
    proof-terminal-char		?\.	; ends every command
    proof-script-command-end-regexp "[.]\\([ \t\n\r]\\)"
-   proof-comment-start             "(*"
-   proof-comment-end               "*)"
+   proof-script-comment-start             "(*"
+   proof-script-comment-end               "*)"
    proof-state-command             "goals."
    proof-goal-command-regexp       
     "\\`\\(goal[ \t\n\r]\\|pro\\(p\\(osition\\)?\\|ve_claim\\)\\|lem\\(ma\\)?\\|fact\\|cor\\(ollary\\)?\\|theo\\(rem\\)?\\)"
-- 
cgit v1.2.3