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

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

(limited to 'generic/proof-config.el')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 36bac31f..88badbc8 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -184,7 +184,7 @@ the goals and response buffers, by altering the Emacs variable
   :set 'proof-set-bool
   :group 'proof-user-options)
 
-(defcustom proof-auto-delete-windows 
+(defcustom proof-delete-empty-windows 
   nil
   "*If non-nil, automatically remove windows when they are cleaned.
 For example, at the end of a proof the goals buffer window will
-- 
cgit v1.2.3