diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-10-01 11:46:59 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-01 11:46:59 +0000 |
| commit | d4cfabfdc68a98734fc8fb945fa9113078dd97e9 (patch) | |
| tree | 3344743ccf26d29fc554b42dd05336bfd0fe4cd6 /generic/proof-toolbar.el | |
| parent | 9985c079f54f45020bdd5582b120ad0283a99b60 (diff) | |
Renamed some configuration variables for uniformity, see CHANGES.
Diffstat (limited to 'generic/proof-toolbar.el')
| -rw-r--r-- | generic/proof-toolbar.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 3051764d..805c0dfb 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -27,7 +27,7 @@ ;; in proof-toolbar-setup. ;; FIXME: consider automatically disabling buttons which are -;; not configured for the prover, e.g. if proof-help-string is +;; not configured for the prover, e.g. if proof-info-command is ;; not set, then the Info button should not be show. ;; FIXME: In the future, add back the enabler functions. |