diff options
| -rw-r--r-- | generic/proof-config.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 3dc4e0b8..d3a69ab5 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1366,7 +1366,7 @@ assistant, for example, to compile a completed file." "Value of `font-lock-keywords' used to fontify proof scripts. The proof script mode should set this before calling `proof-config-done'. Used also by `proof-easy-config' mechanism. -See also `proof-goals-font-lock-keywords' and `proof-resp-font-lock-keywords'." +See also `proof-goals-font-lock-keywords' and `proof-response-font-lock-keywords'." :type 'sexp :group 'proof-script) @@ -2400,11 +2400,11 @@ for parsing the prover output is disabled." "Value of `font-lock-keywords' used to fontify the goals output. The goals shell mode should set this before calling `proof-goals-config-done'. Used also by `proof-easy-config' mechanism. -See also `proof-script-font-lock-keywords' and `proof-resp-font-lock-keywords'." +See also `proof-script-font-lock-keywords' and `proof-response-font-lock-keywords'." :type 'sexp :group 'proof-goals) -(defcustom proof-resp-font-lock-keywords nil +(defcustom proof-response-font-lock-keywords nil "Value of `font-lock-keywords' used to fontify the response output. The response mode should set this before calling `proof-response-config-done'. Used also by `proof-easy-config' mechanism. |