diff options
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 |