From d4cfabfdc68a98734fc8fb945fa9113078dd97e9 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 1 Oct 1999 11:46:59 +0000 Subject: Renamed some configuration variables for uniformity, see CHANGES. --- generic/proof-toolbar.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generic/proof-toolbar.el') 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. -- cgit v1.2.3