From 646a804e79791030fef1008d5c52c48377718527 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 10 Aug 2005 12:59:17 +0000
Subject: Fix to help menu from Timothy Bourke

---
 generic/proof-menu.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 03da8467..46ad20d6 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -176,10 +176,10 @@ without adjusting window layout."
 	     (cons "Help"
 		   (append
 		    `([,(concat proof-assistant " information")
-		       '(proof-help)
+		        (proof-help)
 		       ,menuvisiblep proof-info-command]
 		      [,(concat proof-assistant " web page")
-		       '(browse-url proof-assistant-home-page)
+		        (browse-url proof-assistant-home-page)
 		       ,menuvisiblep proof-assistant-home-page])
 		    (proof-ass help-menu-entries))))))))
 
-- 
cgit v1.2.3