Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/ProofGeneral/timeout.patch
changeset 33922 639eb84ec640
child 33929 e7685297e9da
equal deleted inserted replaced
33921:4c188a74e362 33922:639eb84ec640 
       
     1 --- a/generic/proof-config.el	2008-07-21 18:37:10.000000000 +0200
 
       
     2 +++ b/generic/proof-config.el	2009-11-29 17:41:37.409062091 +0100
 
       
     3 @@ -1493,7 +1493,7 @@
 
       
     4     :type '(choice string (const nil))
 
       
     5     :group 'proof-shell)
 
       
     6  
       
     7 -(defcustom proof-shell-quit-timeout 4
 
       
     8 +(defcustom proof-shell-quit-timeout 12
 
       
     9    ;; FIXME could add option to quiz user before rude kill.
 
       
    10    "The number of seconds to wait after sending proof-shell-quit-cmd.
 
       
    11  After this timeout, the proof shell will be killed off more rudely.
isabelle