diff options
| author | Cyril Anaclet | 2020-05-14 15:29:58 +0200 |
|---|---|---|
| committer | Anaclet | 2020-05-29 11:05:58 +0200 |
| commit | ecb47478c9f9959ea25ce509076f6e3959d2c620 (patch) | |
| tree | 053e9fc0b9aa893ed677f6ebb6104c1811e61488 /generic/proof-config.el | |
| parent | 8e12eee54e36ca16d4b4530e1509479f22929e4f (diff) | |
All case for Show and regex variable
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 8d539191..16cdae93 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -399,6 +399,11 @@ NB: This setting is not used for matching output from the prover." :type 'regexp :group 'proof-script) +(defcustom proof-show-diffs-regexp nil + "Matches all Show Proof form" + :type 'regexp + :group 'proof-script) + (defcustom proof-save-with-hole-regexp nil "Regexp which matches a command to save a named theorem. The name of the theorem is built from the variable |