diff options
| author | David Aspinall | 1999-09-29 15:44:53 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-29 15:44:53 +0000 |
| commit | 29f6b9e091e896d98505a0aa62dcac13f8896343 (patch) | |
| tree | 9e9ad69837a8f30a47db57c69b1e0391b970e6a3 /generic | |
| parent | 73b915389935f843839ad33f120c47cd60ee0d22 (diff) | |
Added proof-script-command-separator. Needs work.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index aa6294ed..2da756cf 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -150,12 +150,22 @@ provers. Enable it if it works for you." :type 'boolean :group 'proof-general) +;; FIXME: rationalize and combine next two (defcustom proof-one-command-per-line nil "*If non-nil, format for newlines after each proof command in a script. This option is not fully-functional at the moment." :type 'boolean :group 'proof-general) + +(defcustom proof-script-command-separator " " + "*String separating commands in proof scripts. +For example, if a proof assistant prefers one command per line, then +this string should be set to a newline. Otherwise it should be +set to a space." + :type 'string + :group 'proof-general) + (defcustom proof-rsh-command "" "*Shell command prefix to run a command on a remote host. For example, |