diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2005-09-21 19:59:59 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2005-09-21 19:59:59 +0000 |
| commit | e401a92d6dffd2cc5d703b24b79fbbf420db1fd4 (patch) | |
| tree | fa65b4f053384c574e8e4cb120c47f95ea892989 /isar/isar.el | |
| parent | e8092d93658d14ac0915d33e4e90a6b90006c260 (diff) | |
Tweak.
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] |