From 818dc1ee0fb4bf99e173fd67508cfcf44919182b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 26 May 2000 18:12:59 +0000
Subject: proof-defass-default -> defpgdefault

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index 0f424d17..05a6e55b 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -49,7 +49,7 @@
 
 ;; ----- coq specific menu
 
-(proof-defass-default menu-entries
+(defpgdefault menu-entries
   '(["Intros" coq-Intros t]
     ["Apply"  coq-Apply t]
     ["Search isos" coq-SearchIsos t]
-- 
cgit v1.2.3