diff options
| author | Erik Martin-Dorel | 2020-05-15 15:50:48 +0200 |
|---|---|---|
| committer | Anaclet | 2020-05-29 11:05:58 +0200 |
| commit | aba3f2bfe2bffde6d2df21b098740100459a84be (patch) | |
| tree | be6f6bef28652affcfed4425f8aacc9baf1ecd79 /generic | |
| parent | ecb47478c9f9959ea25ce509076f6e3959d2c620 (diff) | |
Fix name clash & rephrase some strings
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 16cdae93..ce72c76c 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -399,7 +399,7 @@ NB: This setting is not used for matching output from the prover." :type 'regexp :group 'proof-script) -(defcustom proof-show-diffs-regexp nil +(defcustom proof-show-proof-diffs-regexp nil "Matches all Show Proof form" :type 'regexp :group 'proof-script) |