From 4a057678adcaba29c2fb05a54776c668b6fc6f27 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 12 Apr 2000 21:42:20 +0000
Subject: fixed proof-mode-for-goals;

---
 isar/isar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isar/isar.el b/isar/isar.el
index e7798739..42b53369 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -542,7 +542,7 @@ proof-shell-retract-files-regexp."
 (defun isar-pre-shell-start ()
   (setq proof-prog-name		isabelle-isar-prog-name)
   (setq proof-mode-for-shell    'isar-shell-mode)
-  (setq proof-mode-for-pbp	'isar-goals-mode)
+  (setq proof-mode-for-goals	'isar-goals-mode)
   (setq proof-mode-for-response 'isar-response-mode))
 
 
-- 
cgit v1.2.3