diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-01-23 13:59:33 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-23 13:59:33 +0000 |
commit | fbfeb817505ce1e43939eb54e200599ff57e4916 (patch) | |
tree | d430019ce1433788829b8b2c15c2f8e6823c1bd6 /generic/proof-config.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/proof-config.el')
-rw-r--r-- | generic/proof-config.el | 14 |
1 files changed, 3 insertions, 11 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 926cb024..8ce2c86c 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -811,9 +811,10 @@ See pg-user.el: `pg-create-in-span-context-menu' for more hints." (defcustom proof-prog-name nil "System command to run the proof assistant in the proof shell. -May contain arguments separated by spaces, but see also `proof-prog-args'. +May contain arguments separated by spaces, but see also the +prover specific settings `<PA>-prog-args' and `<PA>-prog-env'. -Remark: if `proof-prog-args' is non-nil, then `proof-prog-name' is considered +Remark: if `<PA>-prog-args' is non-nil, then `proof-prog-name' is considered strictly: it must contain *only* the program name with no option, spaces are interpreted literally as part of the program name." :type 'string @@ -870,15 +871,6 @@ See also `proof-shell-pre-sync-init-cmd'." :type '(choice string (const nil)) :group 'proof-shell) -(defcustom proof-shell-quit-timeout 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 '(choice string (const nil)) - :group 'proof-shell) - (defcustom proof-shell-cd-cmd nil "Command to the proof assistant to change the working directory. The format character `%s' is replaced with the directory, and |