diff options
-rw-r--r-- | lego/lego.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lego/lego.el b/lego/lego.el index 50a2fdec..02f2ada0 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -44,9 +44,9 @@ ["LEGO library (WWW)" (browse-url lego-library-www-page) t])) (proof-defass-default menu-entries - '(["intros" lego-intros] - ["Intros" lego-Intros] - ["Refine" lego-Refine])) + '(["intros" lego-intros t] + ["Intros" lego-Intros t] + ["Refine" lego-Refine t])) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |