Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
even higher proof-shell-quit-timeout -- saving main HOL takes 20s on a *fast* machine;
authorwenzelm
Mon, 30 Nov 2009 23:55:19 +0100
changeset 33929 e7685297e9da
parent 33928 ad2edc2f9ce3
child 33930 6a973bd43949
even higher proof-shell-quit-timeout -- saving main HOL takes 20s on a *fast* machine;
Admin/ProofGeneral/timeout.patch file | annotate | diff | comparison | revisions 
--- a/Admin/ProofGeneral/timeout.patch	Mon Nov 30 17:13:19 2009 +0100
+++ b/Admin/ProofGeneral/timeout.patch	Mon Nov 30 23:55:19 2009 +0100
@@ -5,7 +5,7 @@
     :group 'proof-shell)
  
 -(defcustom proof-shell-quit-timeout 4
-+(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.
isabelle