From fae3b18be1a7dc71cbfc31f922acd5e6f1089c81 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Nov 1998 12:56:47 +0000
Subject: Replaced proof-pbp-buffer with proof-goals-buffer.

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

(limited to 'generic/proof.el')

diff --git a/generic/proof.el b/generic/proof.el
index 89678fdc..68560e0d 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -85,7 +85,7 @@ is resynchronised. It contains files in canonical truename format")
 (defvar proof-shell-buffer nil
   "Process buffer where the proof assistant is run.")
 
-(defvar proof-pbp-buffer nil
+(defvar proof-goals-buffer nil
   "The goals buffer (also known as the pbp buffer).")
 
 (defvar proof-response-buffer nil
-- 
cgit v1.2.3