diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-08 12:48:30 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-08 12:48:30 +0000 |
| commit | bceac6aafc9861e2840bc0f8a1a82c522ce120a0 (patch) | |
| tree | c1478900ce85f61a205ad4721dcb62bf135ac961 /generic/proof-config.el | |
| parent | 1de72490a9a9fcfbe9cb88cc10d4d18728a54d04 (diff) | |
Fix docstrings, remove spurious null
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index a0c29b72..83c0c4f7 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -392,7 +392,7 @@ NB: This setting is not used for matching output from the prover." (defcustom proof-save-with-hole-regexp nil "Regexp which matches a command to save a named theorem. -The name of the theorem is build from the variable +The name of the theorem is built from the variable `proof-save-with-hole-result' using the same convention as `query-replace-regexp'. Used for setting names of goal..save and proof regions and for @@ -406,7 +406,7 @@ It's safe to leave this setting as nil." "How to build theorem name after matching with `proof-save-with-hole-regexp'. String or Int. If an int N use match-string to recover the value of the Nth parenthesis matched. -If it is a string use replace-match. In this case, proof-save-with-hole-regexp +If it is a string use replace-match. In this case, `proof-save-with-hole-regexp' should match the entire command" :type '(choice string int) :group 'proof-script) |