From a11afe2352cf0d38f266f4927449c86c35f785d2 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 24 Nov 2009 17:12:04 +0000
Subject: reverse settings within each group, to prevent upside-down
 presentation;

---
 generic/proof-menu.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic')

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
-- 
cgit v1.2.3