From dc9750a6fee0b9a944e45922049dfad16131edf6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 29 Sep 1999 16:24:11 +0000
Subject: Menu name.

---
 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 27530c21..64d98dcd 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -52,7 +52,7 @@
     (undo	"Undo step"           "Undo the previous proof command" t)
     (next	"Next step"           "Process the next proof command" t)
     (use	"Use buffer"  	      "Process whole buffer" t)
-    (restart	"Restart"	      "Restart scripting (clear all locked regions)" 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)
     (command    "Issue command"	      "Issue a non-scripting command" t)
-- 
cgit v1.2.3