# HG changeset patch
# User wenzelm
# Date 1295796550 -3600
# Node ID 057bbb28d3ff230f530ead9f62e7a5954457d952
# Parent  e4a9ea748bd2c48893547ccb12c9d02b114afa7b
do not overwrite proof-shell-quit-timeout by default (final PG 4.1 supposedly gets it right);

diff -r e4a9ea748bd2 -r 057bbb28d3ff etc/proofgeneral-settings.el
--- a/etc/proofgeneral-settings.el	Sun Jan 23 13:28:10 2011 +0100
+++ b/etc/proofgeneral-settings.el	Sun Jan 23 16:29:10 2011 +0100
@@ -3,7 +3,8 @@
 ;; Examples for sensible settings:
 
 (custom-set-variables '(indent-tabs-mode nil))
-(custom-set-variables '(proof-shell-quit-timeout 45))
+
+;(custom-set-variables '(proof-shell-quit-timeout 60))
 
 ;(custom-set-variables '(isar-eta-contract nil))