From 818dc1ee0fb4bf99e173fd67508cfcf44919182b Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 26 May 2000 18:12:59 +0000
Subject: proof-defass-default -> defpgdefault

---
 lego/lego.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lego')

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]))
-- 
cgit v1.2.3