diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index dd055db3..76e2e510 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1953,6 +1953,8 @@ No action if BUF is nil." (defvar proof-help-menu `("Help" + [,(concat proof-assistant " information") + (proof-help) t] [,(concat proof-assistant " web page") (browse-url proof-assistant-home-page) t] ["Proof General home page" |