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.

---
 demoisa/demoisa-easy.el | 4 ++--
 demoisa/demoisa.el      | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'demoisa')

diff --git a/demoisa/demoisa-easy.el b/demoisa/demoisa-easy.el
index 207f477a..bcd1ad9d 100644
--- a/demoisa/demoisa-easy.el
+++ b/demoisa/demoisa-easy.el
@@ -27,8 +27,8 @@
  'demoisa "Isabelle Demo" 
  proof-prog-name		 "isabelle"
  proof-terminal-char             ?\;
- proof-comment-start             "(*"
- proof-comment-end               "*)"
+ proof-script-comment-start             "(*"
+ proof-script-comment-end               "*)"
  proof-goal-command-regexp       "^Goal"
  proof-save-command-regexp       "^qed"
  proof-goal-with-hole-regexp     "qed_goal \"\\(\\(.*\\)\\)\""
diff --git a/demoisa/demoisa.el b/demoisa/demoisa.el
index e9a3908d..05c56994 100644
--- a/demoisa/demoisa.el
+++ b/demoisa/demoisa.el
@@ -70,8 +70,8 @@
   "Configure Proof General scripting for Isabelle."
   (setq
    proof-terminal-char		?\;	; ends every command
-   proof-comment-start		"(*"
-   proof-comment-end		"*)"
+   proof-script-comment-start		"(*"
+   proof-script-comment-end		"*)"
    proof-goal-command-regexp    "^Goal"
    proof-save-command-regexp    "^qed"
    proof-goal-with-hole-regexp  "qed_goal \"\\(\\(.*\\)\\)\""
-- 
cgit v1.2.3