diff options
author | 2000-09-08 13:29:33 +0000 | |
---|---|---|
committer | 2000-09-08 13:29:33 +0000 | |
commit | 1775cd0015fff527c9fe34c21900cfd87838d425 (patch) | |
tree | b6fdc52569536c5bc71e211152d199947a1dbaab /generic | |
parent | 0946b255a65b3b3843b893d9022fd179aa6073d0 (diff) |
Rearrangement
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-config.el | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 758edb5c..3ca47c76 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1248,6 +1248,15 @@ group. This allows different proof assistants to coexist :type 'string :group 'proof-shell) +(defcustom proof-shell-auto-terminate-commands t + "Non-nil if Proof General should try to add terminator to every command. +If non-nil, whenever a command is sent to the prover using +`proof-shell-invisible-command', Proof General will check to see if it +ends with proof-terminal-char, and add it if not. +If proof-terminal-char is nil, this has no effect." + :type 'boolean + :group 'proof-shell) + (defcustom proof-shell-pre-sync-init-cmd nil "The command for configuring the proof process to gain synchronization. This command is sent before Proof General's synchronization @@ -1283,15 +1292,6 @@ See also `proof-shell-pre-sync-init-cmd'." :type '(choice string (const nil)) :group 'proof-shell) -(defcustom proof-shell-auto-terminate-commands t - "Non-nil if Proof General should try to add terminator to every command. -If non-nil, whenever a command is sent to the prover using -`proof-shell-invisible-command', Proof General will check to see if it -ends with proof-terminal-char, and add it if not. -If proof-terminal-char is nil, this has no effect." - :type 'boolean - :group 'proof-shell) - ;; FIXME could add option to quiz user before rude kill. (defcustom proof-shell-quit-timeout 10 "The number of seconds to wait after sending proof-shell-quit-cmd. |