diff options
| author | David Aspinall | 1999-11-11 10:46:42 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-11 10:46:42 +0000 |
| commit | 671635077b301e62251b13141b0873a2538e570f (patch) | |
| tree | 330752d5dd46d1052a8e7a2f71eb26e4a63d5cf1 /generic/proof-script.el | |
| parent | df8a7e419c5401f584c94419379eb2f093cd726a (diff) | |
Added proof-help command to help menu.
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" |