diff options
| author | David Aspinall | 2009-08-20 09:37:09 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-20 09:37:09 +0000 |
| commit | 83ce91f2f3d2536e2f6ad48362ba88415cfb1b87 (patch) | |
| tree | 3676b2ebbfcdc069750e7aa99b0fd7635f39edfc | |
| parent | 387f5d13d9db7b79386f6b3433e89c1f98ea290a (diff) | |
proof-resp-font-lock-keywords -> correct name proof-response-font-lock-keywords
| -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. |