diff options
| author | David Aspinall | 2011-01-23 13:59:33 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-01-23 13:59:33 +0000 |
| commit | fbfeb817505ce1e43939eb54e200599ff57e4916 (patch) | |
| tree | d430019ce1433788829b8b2c15c2f8e6823c1bd6 /generic/pg-custom.el | |
| parent | 3091827b9cf921758ae8bb1fafc3b3a7368a923c (diff) | |
Make proof-shell-quit-timeout a prover-specific customize option, default to 45 for Isar. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/384.
Diffstat (limited to 'generic/pg-custom.el')
| -rw-r--r-- | generic/pg-custom.el | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/generic/pg-custom.el b/generic/pg-custom.el index 5218cda5..5122416e 100644 --- a/generic/pg-custom.el +++ b/generic/pg-custom.el @@ -11,7 +11,7 @@ ;; Prover specific settings and user options. ;; ;; The settings defined here automatically use the current proof -;; assistant symbol as a prefix, i.e. isa-favourites, coq-favourites, +;; assistant symbol as a prefix, i.e. isar-favourites, coq-favourites, ;; or whatever will be defined on evaluation. ;; ;; This file is loaded only by mode stubs defined in `proof-site.el', @@ -108,6 +108,18 @@ For example for coq on Windows you might need something like: :type '(list string) :group 'proof-shell) +(defpgcustom quit-timeout + (cond + ((eq proof-assistant-symbol 'isar) 45) + (t 5)) + "The number of seconds to wait after sending `proof-shell-quit-cmd'. +After this timeout, the proof shell will be killed off more rudely. +If your proof assistant takes a long time to clean up (for +example writing persistent databases out or the like), you may +need to bump up this value." + :type 'number + :group 'proof-shell) + (defpgcustom favourites nil "*Favourite commands for this proof assistant. A list of lists of the form (COMMAND INSCRIPT MENUNAME KEY), |