blob: ff4c4f33394bf98bf5887a39d622055a2c924ff3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
--- generic/proof-menu.el.orig Fri Jul 22 17:46:09 2005
+++ generic/proof-menu.el Fri Jul 22 17:46:09 2005
@@ -176,10 +176,10 @@
(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))))))))
|
