diff options
-rw-r--r-- | generic/proof-menu.el | 4 | ||||
-rw-r--r-- | generic/proof-toolbar.el | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 526673ee..86352f87 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -226,8 +226,8 @@ without adjusting window layout." (defvar proof-help-menu '("Help" ["About PG" proof-splash-display-screen t] - ["PG Info" (info "ProofGeneral") t] - ["PG Homepage" (browse-url proof-general-home-page) t] + ["Info" (info "ProofGeneral") t] + ["Homepage" (browse-url proof-general-home-page) t] ["Send Bug Report" proof-submit-bug-report t]) "Proof General help menu.") diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index ab756e0b..7bf5dd26 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -61,7 +61,7 @@ ;; Entry format: (TOKEN MENUNAME TOOLTIP TOOLBAR-P [VISIBLE-P]) (dolist (tle tles) (let* ((token (nth 0 tle)) - (longtoken (intern (concat "pg-" (symbol-name token)))) + (longtoken (intern (symbol-name token))) (includep (nth 3 tle)) (visiblep (nth 4 tle)) (icon (proof-toolbar-icon token)) |