From faea801b0156d4ab9b1c133eb509a5ba377afef1 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 13 Sep 2000 20:41:11 +0000
Subject: done: make help key bindings appear in "Show me ..." menu;

---
 isar/todo | 2 --
 1 file changed, 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);
-- 
cgit v1.2.3