From 5d60f79b6c6b48bc79d5ef121e8a3057cff29ca6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 22 Nov 1999 18:55:53 +0000
Subject: Renamed proof-auto-delete-windows -> proof-delete-empty-windows

---
 doc/ProofGeneral.texi | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index eff09dd7..51f4fb7c 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1873,10 +1873,10 @@ The default value is @code{nil}.
 Sometimes during script management, there is no response from the proof
 assistant to some command.  In this case you might like the empty
 response window to be hidden so you have more room to see the proof
-script.  The setting @code{proof-auto-delete-windows} helps you do this.
+script.  The setting @code{proof-delete-empty-windows} helps you do this.
 
-@c TEXI DOCSTRING MAGIC: proof-auto-delete-windows
-@defopt proof-auto-delete-windows 
+@c TEXI DOCSTRING MAGIC: proof-delete-empty-windows
+@defopt proof-delete-empty-windows 
 If non-nil, automatically remove windows when they are cleaned.@*
 For example, at the end of a proof the goals buffer window will
 be cleared; if this flag is set it will automatically be removed.
@@ -1904,7 +1904,7 @@ the goals and response buffers, by altering the Emacs variable
 
 The default value is @code{nil}.
 @end defopt
-Multiple frames work best when @code{proof-auto-delete-windows} is off
+Multiple frames work best when @code{proof-delete-empty-windows} is off
 and @code{proof-dont-switch-windows} is on.
 
 
-- 
cgit v1.2.3