diff options
| -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 83b850bf..73e11093 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -533,7 +533,7 @@ mere warning messages with this regexp)." :type 'regexp :group 'proof-shell) -(defvar pbp-hyp-command nil +(defcustom pbp-hyp-command nil "Command informing the prover that `pbp-button-action' has been requested on an assumption." :type 'regexp |