From e11662b4c4586a1bbb9c88a20e996ef4e2ff1c85 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 10 Dec 2007 15:03:20 +0000
Subject: Comments.

---
 generic/proof-toolbar.el | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 8825a66f..9fd9a867 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -194,9 +194,8 @@ to the default toolbar."
        (proof-toolbar-button-list
 	;; A toolbar descriptor evaluated in proof-toolbar-setup.
 	;; Specifically, a list of sexps which evaluate to entries in
-	;; a toolbar descriptor.  The default value
-	;; proof-toolbar-default-button-list will work for any proof
-	;; assistant.
+	;; a toolbar descriptor.  The default
+	;; `proof-toolbar-default-button-list' works for prover.
 	(append
 	 (apply 'append (mapcar 'proof-toolbar-make-toolbar-item 
 				(proof-ass toolbar-entries)))
@@ -210,17 +209,16 @@ to the default toolbar."
        (let ((var	(car buttons))
 	     (iconfiles 
 	      (mapcar (lambda (name)
-			(concat proof-images-directory
-				"pg-" ;; added 1.3.04 to avoid Emacs clashes
+			(concat proof-images-directory "pg-"
 				name
 				icontype)) (cdr buttons))))
 	 (set var 
 	      (if proof-running-on-XEmacs
 		  ;; On XEmacs, icon variable holds a list of glyphs
 		  (toolbar-make-button-list iconfiles)
-		;; On GNU emacs, it holds a filename for the icon,
-		;; without path or extension.  Warning!  This
-		;; can lead to name clashes with other packages.
+		;; On GNU Emacs, it holds a filename for the icon,
+		;; without path or extension.  Watch for clashes with
+		;; other packages!
 		(concat "pg-" (eval (cadr buttons)))))))
      proof-toolbar-icon-list)
 
-- 
cgit v1.2.3