From 6ea22c7d0270c88d29c8fb02c92bfd61a706a5c3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 27 Sep 1999 09:22:41 +0000
Subject: Changed button order.

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

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 1fda10dc..fff5b705 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -53,9 +53,9 @@
     (use	"Use"		"Process whole buffer" t)
     (restart	"Restart"	"Restart scripting (clear all locked regions)" t)
     (qed	"QED"		"Close/save proved theorem" t)
+    (find	"Find"		"Find something from the proof assistant" t)
     (command    "Command"	"Issue a non-scripting command" t)
     (info	"Info"		"Show proof assistant information" t)
-    (find	"Find"		"Find something from the proof assistant" t)
     (help	"Help"		"Proof General manual" t))
 "Example value for proof-toolbar-entries.
 This gives a bare toolbar that works for any prover.  To add
-- 
cgit v1.2.3