Added proof-help command to help menu.

2 files changed, 2 insertions, 2 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"
diff --git a/todo b/todo
index 7f35eded..23f2874e 100644
--- a/todo
+++ b/todo
@@ -52,8 +52,6 @@ re-enabled), proof-toggle-scripting, new configuration options.
     - noticeable delay when loading ML files for Isabelle (fontification?)
     - clean up assert-until-point stuff at last!
 
-C Add binding for proof info function to help menu.
-
 D Why don't PG's minor modes appear on XEmacs minor mode menu?
   (C-right on status bar)