From bfba9bfb0c7af789f62b77b7814b730e6d628661 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Mon, 30 Nov 2009 22:56:40 +0000
Subject: even higher proof-shell-quit-timeout -- saving main HOL takes 20s on
 a *fast* machine;

---
 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 4740e1fb..405b700e 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -852,7 +852,7 @@ See also `proof-shell-pre-sync-init-cmd'."
    :type '(choice string (const nil))
    :group 'proof-shell)
 
-(defcustom proof-shell-quit-timeout 12
+(defcustom proof-shell-quit-timeout 45
   ;; FIXME could add option to quiz user before rude kill.
   "The number of seconds to wait after sending `proof-shell-quit-cmd'.
 After this timeout, the proof shell will be killed off more rudely.
-- 
cgit v1.2.3