diff options
| author | David Aspinall | 1998-11-25 12:56:47 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 12:56:47 +0000 |
| commit | fae3b18be1a7dc71cbfc31f922acd5e6f1089c81 (patch) | |
| tree | 85cd3316627b2bf5255887891bc3f7733185801a /generic/proof.el | |
| parent | 9fb5af2617043f4e9e8439a029bb9e2677adff29 (diff) | |
Replaced proof-pbp-buffer with proof-goals-buffer.
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |