diff options
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-menu.el | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 23276241..8d14c72d 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -148,11 +148,11 @@ without adjusting window layout." ;;;###autoload (defun proof-menu-define-specific () - `(easy-menu-define - proof-assistant-menu - proof-mode-map - ,(concat "The menu for " proof-assistant) - ,(cons proof-assistant + (easy-menu-do-define + 'proof-assistant-menu + proof-mode-map + (concat "The menu for " proof-assistant) + (cons proof-assistant (append (proof-ass menu-entries) '("----") |