From f1221f3e544691d7b0971f007ce993c3fa3ae6a2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 12 Oct 1998 12:45:30 +0000
Subject: Doc strings

---
 generic/proof-toolbar.el | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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.
-- 
cgit v1.2.3