diff options
author | 2000-05-12 17:04:32 +0000 | |
---|---|---|
committer | 2000-05-12 17:04:32 +0000 | |
commit | ce32d072c45141b49ce6ab6103f9f9a455b9981f (patch) | |
tree | b3289f7d8eb721cd5994faeb2acb1553b4049ff4 /generic | |
parent | e5ce347ca48e06d010aef92ddcdde277946f9aa2 (diff) |
Use (proof-ass X) instead of function call.
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-menu.el | 4 |
1 files changed, 2 insertions, 2 deletions
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]) '("----") |