From 5d16a0281aa95f58626efed85d258ea297654496 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 19 Nov 1999 17:43:21 +0000
Subject: docstring

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 2d4b24d4..39b0b3d4 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -176,7 +176,7 @@ experienced Emacs users."
 (defcustom proof-multiple-frames-enable nil
   "*Whether response and goals buffers have separate frames.
 If non-nil, Emacs will make separate frames (screen windows) for
-the goals and response buffers, by altering the variable
+the goals and response buffers, by altering the Emacs variable
 `special-display-regexps'."  
   :type 'boolean 
   :set 'proof-set-bool
-- 
cgit v1.2.3