diff options
| author | David Aspinall | 2000-05-12 14:14:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-12 14:14:31 +0000 |
| commit | 833036e6f808a0ca7086795333633167c8d450a7 (patch) | |
| tree | 4eb6d8ad75ec29bb834578a0ee9f62d3946de754 | |
| parent | ed3be25af8677a6007073d512f9d2c0ba16d7657 (diff) | |
Fix to menu definition.
| -rw-r--r-- | isa/isabelle-system.el | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index 8428b72b..051dc5d2 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -301,7 +301,7 @@ Otherwise return a string for configuring all settings." (proof-deftoggle-fn (proof-ass-sym show-types)) (proof-deftoggle-fn (proof-ass-sym trace-simplifier)) -(proof-setass-default menu-entries +(proof-defass-default menu-entries (append `(["Show types" ,(proof-ass-sym show-types-toggle) :style toggle @@ -314,8 +314,9 @@ Otherwise return a string for configuring all settings." :selected ,(proof-ass-sym trace-simplifier)]) (if isa-running-isar nil - (list "----") - (["Switch to theory" thy-find-other-file t])))) + (list + '(list "----") + '(["Switch to theory" thy-find-other-file t]))))) (proof-defass-default help-menu-entries isabelle-docs-menu) |