diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-05-26 18:12:59 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-26 18:12:59 +0000 |
commit | 818dc1ee0fb4bf99e173fd67508cfcf44919182b (patch) | |
tree | 15ed7061b636d74d2b3f4ef985b290da9f830382 /lego | |
parent | 6ea3ad433fb8fe79eac4b113670486b1e5930ea5 (diff) |
proof-defass-default -> defpgdefault
Diffstat (limited to 'lego')
-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])) |