diff options
Diffstat (limited to 'lego/lego.el')
| -rw-r--r-- | lego/lego.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lego/lego.el b/lego/lego.el index 10577c7a..c15cfcdd 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -39,11 +39,11 @@ :type 'string :group 'lego) -(proof-defass-default help-menu-entries +(defpgdefault help-menu-entries '(["LEGO Reference Card" (browse-url lego-www-refcard) t] ["LEGO library (WWW)" (browse-url lego-library-www-page) t])) -(proof-defass-default menu-entries +(defpgdefault menu-entries '(["intros" lego-intros t] ["Intros" lego-Intros t] ["Refine" lego-Refine t])) |