diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-27 16:32:16 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-27 16:32:16 +0000 |
| commit | e1a327e5621d191fe408d12b331d05dda17b395c (patch) | |
| tree | c3bb2de9a1c4318b4243ddf1432ed84c3b2dfe1a /generic/proof-config.el | |
| parent | 1e0d6e79c32b49ea82bf7b20bd4fbeeaffd3821a (diff) | |
Replace proof-terminal-char with proof-terminal-string.
Diffstat (limited to 'generic/proof-config.el')
| -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 b0944a07..b817b10b 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -223,12 +223,12 @@ conversion, etc. (No changes are done if nil)." :group 'prover-config :prefix "proof-") -(defcustom proof-terminal-char nil - "Character that terminates commands sent to prover; nil if none. +(defcustom proof-terminal-string nil + "String that terminates commands sent to prover; nil if none. To configure command recognition properly, you must set at least one of these: `proof-script-sexp-commands', `proof-script-command-end-regexp', -`proof-script-command-start-regexp', `proof-terminal-char', +`proof-script-command-start-regexp', `proof-terminal-string', or `proof-script-parse-function'." :type 'character :group 'prover-config) @@ -244,7 +244,7 @@ You should set this variable in script mode configuration. To configure command recognition properly, you must set at least one of these: `proof-script-sexp-commands', `proof-script-command-end-regexp', -`proof-script-command-start-regexp', `proof-terminal-char', +`proof-script-command-start-regexp', `proof-terminal-string', or `proof-script-parse-function'." :type 'boolean :group 'prover-config) @@ -262,7 +262,7 @@ i.e. (match-beginning 1), rather than (match-end 0). To configure command recognition properly, you must set at least one of these: `proof-script-sexp-commands', `proof-script-command-end-regexp', -`proof-script-command-start-regexp', `proof-terminal-char', +`proof-script-command-start-regexp', `proof-terminal-string', or `proof-script-parse-function'." :type 'string :group 'prover-config) @@ -273,7 +273,7 @@ You should set this variable in script mode configuration. To configure command recognition properly, you must set at least one of these: `proof-script-sexp-commands', `proof-script-command-end-regexp', -`proof-script-command-start-regexp', `proof-terminal-char', +`proof-script-command-start-regexp', `proof-terminal-string', or `proof-script-parse-function'." :type 'string :group 'prover-config) @@ -310,7 +310,7 @@ a symbol indicating what has been parsed: nil if there is no complete next segment in the buffer If this is left unset, it will be configured automatically to -a generic function according to which of `proof-terminal-char' +a generic function according to which of `proof-terminal-string' and its friends are set." :type 'string :group 'prover-config) @@ -806,8 +806,8 @@ are interpreted literally as part of the program name." "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." +ends with `proof-terminal-string', and add it if not. +If `proof-terminal-string' is nil, this has no effect." :type 'boolean :group 'proof-shell) |