diff options
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 9e4d5e86..10a70204 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -753,7 +753,7 @@ KEY is the optional key binding." proof-assistant-settings)) (cmds (mapcar (lambda (stg) (apply 'proof-menu-entry-for-setting stg)) - gstgs))) + (reverse gstgs)))) (setq ents (if grp (cons (cons grp cmds) ents) (append cmds |