From e1a327e5621d191fe408d12b331d05dda17b395c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 27 Aug 2010 16:32:16 +0000 Subject: Replace proof-terminal-char with proof-terminal-string. --- generic/proof-config.el | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'generic/proof-config.el') 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) -- cgit v1.2.3