diff options
Diffstat (limited to 'isar/isabelle-system.el')
| -rw-r--r-- | isar/isabelle-system.el | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index 5e23e402..538d18e9 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -291,14 +291,12 @@ for you, you should disable this behaviour." (isabelle-choose-logic nil) :active (not (proof-shell-live-buffer)) :style radio - :selected (not isabelle-chosen-logic) - :help "Switch to default logic"]) + :selected (not isabelle-chosen-logic)]) (mapcar (lambda (l) (vector l (list 'isabelle-choose-logic l) :active '(not (proof-shell-live-buffer)) :style 'radio - :selected (list 'equal 'isabelle-chosen-logic l) - :help (format "Switch to %s logic" l))) + :selected (list 'equal 'isabelle-chosen-logic l))) isabelle-logics-available))))) (unless noninteractive |