diff options
| author | Cyril Anaclet | 2020-05-20 14:19:14 +0200 |
|---|---|---|
| committer | Anaclet | 2020-05-29 11:05:58 +0200 |
| commit | 22681a3caf2c8f45700585ea74dffbf48bb2ac19 (patch) | |
| tree | 40570f1694889d27d66e3a4d9e5f4019bb06995e /generic/proof-config.el | |
| parent | 04aff704f3d13452bc5c52ff860c5ab564539632 (diff) | |
Apply reviews of @erikmd
Diffstat (limited to 'generic/proof-config.el')
| -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 ce72c76c..9d352548 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -400,7 +400,7 @@ NB: This setting is not used for matching output from the prover." :group 'proof-script) (defcustom proof-show-proof-diffs-regexp nil - "Matches all Show Proof form" + "Matches all \"Show Proof\" forms (specific to the Coq prover)." :type 'regexp :group 'proof-script) |