From e401a92d6dffd2cc5d703b24b79fbbf420db1fd4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 21 Sep 2005 19:59:59 +0000
Subject: Tweak.

---
 isar/isar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isar/isar.el b/isar/isar.el
index 64135405..d4fe03cd 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -381,7 +381,7 @@ proof-shell-retract-files-regexp."
   (append
    (list isabelle-logics-menu)
    (list
-    (cons "Command ..."
+    (cons "Commands"
           (list
            ["refute"             isar-cmd-refute         t]
            ["quickcheck"         isar-cmd-quickcheck     t]
-- 
cgit v1.2.3