From bceac6aafc9861e2840bc0f8a1a82c522ce120a0 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 8 Sep 2009 12:48:30 +0000 Subject: Fix docstrings, remove spurious null --- generic/proof-config.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'generic/proof-config.el') 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) -- cgit v1.2.3