diff options
| author | David Aspinall | 2009-08-19 23:07:43 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-19 23:07:43 +0000 |
| commit | e13d9cd3568be72e666081d552da004417207579 (patch) | |
| tree | 4eff9a8ceb2b16b1afce84c2b788ee2f0a316e72 | |
| parent | b0b343eab1fa57702b3fdea643baee0f108805f7 (diff) | |
Docstrings
| -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 569865dd..3dc4e0b8 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-{resp,goals}-font-lock-keywords." +See also `proof-goals-font-lock-keywords' and `proof-resp-font-lock-keywords'." :type 'sexp :group 'proof-script) @@ -2400,7 +2400,7 @@ 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,goals}-font-lock-keywords'." +See also `proof-script-font-lock-keywords' and `proof-resp-font-lock-keywords'." :type 'sexp :group 'proof-goals) @@ -2408,7 +2408,7 @@ See also `proof-{script,goals}-font-lock-keywords'." "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. -See also `proof-{script,goals}-font-lock-keywords'." +See also `proof-script-font-lock-keywords' and `proof-goals-font-lock-keywords'." :type 'sexp :group 'proof-goals) |