diff options
Diffstat (limited to 'isar/isar.el')
-rw-r--r-- | isar/isar.el | 2 |
1 files changed, 1 insertions, 1 deletions
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] |