diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-04-07 13:40:16 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-04-07 13:40:16 +0000 |
commit | 91ce5d54ca9e53351e2bfcb7355fc890d9488da0 (patch) | |
tree | 5fccb82079d42dbc09c8f1c85aaad98871ca06df /demoisa | |
parent | 5205d2df95632ff2801ed416c0d3484ce6ec2e11 (diff) |
pbp-mode -> goals-mode
Diffstat (limited to 'demoisa')
-rw-r--r-- | demoisa/demoisa.el | 4 |
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) |