diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-27 15:30:16 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-27 15:30:16 +0000 |
| commit | 7cf1ffdfc24c4c0ff8dfee128b52fe82612c953b (patch) | |
| tree | e547ea2aa51c1cef854cbef84d8f77723bcee4cb /generic/proof-config.el | |
| parent | 5774a4c0c39fd1a930cae5415639fe4f8c3974fd (diff) | |
typo
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 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 |