diff options
| author | David Aspinall | 2002-08-07 09:09:24 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-07 09:09:24 +0000 |
| commit | 334fc20bbccce9e923e7d912c13a7656c506f92e (patch) | |
| tree | c1fdbe9418d5d1b18992ed0e8fad7ade7be15191 /generic/proof-config.el | |
| parent | 0a6a22da365a5526b9caee94b465fdf70496ecd2 (diff) | |
Comments
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index f4664ec2..5b09ed1a 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -2146,14 +2146,12 @@ For LEGO 1.3.1 use `nil', for Coq 6.2, use `t'." :group 'proof-goals) (defcustom pbp-goal-command nil - "Command informing the prover that `pg-goals-button-action' has been -requested on a goal." + "Command sent when `pg-goals-button-action' is requested on a goal." :type '(choice nil string) :group 'proof-goals) (defcustom pbp-hyp-command nil - "Command informing the prover that `pg-goals-button-action' has been -requested on an assumption." + "Command sent when `pg-goals-button-action' is requested on an assumption." :type '(choice nil string) :group 'proof-goals) |