From ce32d072c45141b49ce6ab6103f9f9a455b9981f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 12 May 2000 17:04:32 +0000 Subject: Use (proof-ass X) instead of function call. --- generic/proof-menu.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'generic') diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 9b88475e..77e77a61 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -92,9 +92,9 @@ (concat "The menu for " proof-assistant) (cons proof-assistant (append - (proof-assistant-menu-entries) + (proof-ass menu-entries) '("----") - (proof-assistant-favourites) + (proof-ass favourites) '(["Add favourite" (call-interactively 'proof-add-favourite) t]) '("----") -- cgit v1.2.3