aboutsummaryrefslogtreecommitdiffhomepage
path: root/demoisa
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2000-04-07 13:40:16 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2000-04-07 13:40:16 +0000
commit91ce5d54ca9e53351e2bfcb7355fc890d9488da0 (patch)
tree5fccb82079d42dbc09c8f1c85aaad98871ca06df /demoisa
parent5205d2df95632ff2801ed416c0d3484ce6ec2e11 (diff)
pbp-mode -> goals-mode
Diffstat (limited to 'demoisa')
-rw-r--r--demoisa/demoisa.el4
1 files changed, 2 insertions, 2 deletions
diff --git a/demoisa/demoisa.el b/demoisa/demoisa.el
index b1f7e1c3..1740a100 100644
--- a/demoisa/demoisa.el
+++ b/demoisa/demoisa.el
@@ -129,7 +129,7 @@
"Isabelle Demo response" nil
(proof-response-config-done))
-(define-derived-mode demoisa-goals-mode pbp-mode
+(define-derived-mode demoisa-goals-mode proof-goals-mode
"Isabelle Demo goals" nil
(proof-goals-config-done))
@@ -152,6 +152,6 @@
(setq proof-prog-name isabelledemo-prog-name)
(setq proof-mode-for-shell 'demoisa-shell-mode)
(setq proof-mode-for-response 'demoisa-response-mode)
- (setq proof-mode-for-pbp 'demoisa-goals-mode))
+ (setq proof-mode-for-goals 'demoisa-goals-mode))
(provide 'demoisa)