From 1ecacae33ee3a98ec69c9457c6ffb579bfac6a19 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Aug 2002 11:39:47 +0000
Subject: Menu name

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

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 16d32653..943cae10 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -723,7 +723,7 @@ If a function, it should return the command string to insert."
     (restart	"Restart Scripting"   "Restart scripting (clear all locked regions)" t)
     (qed	"Finish Proof"        "Close/save proved theorem" t
 		proof-save-command)
-    (lockedend  "Locked End"	      nil t)
+    (lockedend  "Goto Locked End"     nil t)
     (find	"Find Theorems"	      "Find theorems" t
 		proof-find-theorems-command)
     (command    "Issue Command"	      "Issue a non-scripting command" t)
-- 
cgit v1.2.3