From 91ce5d54ca9e53351e2bfcb7355fc890d9488da0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 7 Apr 2000 13:40:16 +0000
Subject: pbp-mode -> goals-mode

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

(limited to 'demoisa')

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)
-- 
cgit v1.2.3