From 270247e4b9fdb3a9b591910a9d682121bb230d19 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 9 Sep 1998 15:52:16 +0000
Subject: Renamed recycle icon to restart

---
 generic/proof-toolbar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index f0a558e4..a32a82fa 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -167,7 +167,7 @@ Initialised in proof-toolbar-setup.")
     (proof-toolbar-prev-icon "right")
     (proof-toolbar-goal-icon "goal")
     (proof-toolbar-qed-icon  "qed")
-    (proof-toolbar-restart-icon "recycle"))
+    (proof-toolbar-restart-icon "restart"))
   "List of icon variable names and their associated image files")
 
 ;;
-- 
cgit v1.2.3