aboutsummaryrefslogtreecommitdiffhomepage
path: root/demoisa
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2002-07-19 10:38:48 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2002-07-19 10:38:48 +0000
commit49fda3fd12b9985da15a52756e4a18fd2bc5ba2b (patch)
tree3019b25e43a985ae6313cc49f8ce7ed2f07d312b /demoisa
parentcc57674092a79b12053f8a5556c331ec83426ae5 (diff)
Variable name change proof-comment-{start,end}-regexp -> proof-script-comment-{start,end}-regexp.
Diffstat (limited to 'demoisa')
-rw-r--r--demoisa/demoisa-easy.el4
-rw-r--r--demoisa/demoisa.el4
2 files changed, 4 insertions, 4 deletions
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 \"\\(\\(.*\\)\\)\""