1 files changed, 0 insertions, 2 deletions
diff --git a/isar/todo b/isar/todo
index 5bb5500e..3ad7f7c2 100644
--- a/isar/todo
+++ b/isar/todo
@@ -4,8 +4,6 @@
 
 See also ../todo for generic things to do, priority codes.
 
-** B make help key bindings appear in "Show me ..." menu;
-
 ** C undo 'use' command: unlock corresponding ML file;
 
 ** C provide template for empty theory (or even just for Scratch.thy);