diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2005-08-10 12:59:17 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2005-08-10 12:59:17 +0000 |
commit | 646a804e79791030fef1008d5c52c48377718527 (patch) | |
tree | a799bf36b0476184a8ff881e2de81d25f2a72643 /generic/proof-menu.el | |
parent | 2fea2ae9d2b79bda4df1046211a57dc1f2fb42d5 (diff) |
Fix to help menu from Timothy Bourke
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r-- | generic/proof-menu.el | 4 |
1 files 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)))))))) |