diff options
| -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)))))))) |