Added proof-help command to help menu.

1 files changed, 0 insertions, 2 deletions

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)