diff options
| author | David Aspinall | 1998-10-12 12:45:30 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-12 12:45:30 +0000 |
| commit | f1221f3e544691d7b0971f007ce993c3fa3ae6a2 (patch) | |
| tree | 354c2758111f6f1ec76cc36c59a1b6b5f3496ab0 | |
| parent | c5cfcda5020b70994f5721b53837e2621cf13ed8 (diff) | |
Doc strings
| -rw-r--r-- | generic/proof-toolbar.el | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index c3d38850..4599d6ce 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -36,7 +36,12 @@ descriptor. The default value proof-toolbar-default-button-list will work for any proof assistant.") (defvar proof-toolbar nil - "Proof mode toolbar. Set in proof-toolbar-setup.") + "Proof mode toolbar button list. Set in proof-toolbar-setup.") + +;; FIXME: edit-toolbar cannot edit proof toolbar (even in a proof mode) +;; Need a variable containing a specifier or similar. +; (defvar proof-toolbar-specifier nil +; "Specifier for proof toolbar.") (defun proof-toolbar-setup () "Initialize proof-toolbar and enable it for the current buffer. |