From d4208389e88a21a22dac9eb464635a53822edaff Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 22 Nov 1999 17:24:47 +0000
Subject: Moved goto button.

---
 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 f8431e18..8cc94923 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -47,9 +47,9 @@
     (goal	"Start a new proof"   "Start a new proof" t)
     (retract	"Retract buffer"      "Retract (undo) whole buffer" t)
     (undo	"Undo step"           "Undo the previous proof command" t)
-    (goto	"Goto point"	      "Process or undo to the cursor position" t)
     (next	"Next step"           "Process the next proof command" t)
     (use	"Use buffer"  	      "Process whole buffer" t)
+    (goto	"Goto point"	      "Process or undo to the cursor position" t)
     (restart	"Restart scripting"   "Restart scripting (clear all locked regions)" t)
     (qed	"Finish proof"        "Close/save proved theorem" t)
     (find	"Find theorems"	      "Find theorems" t)
-- 
cgit v1.2.3