From 89b4dc8fa2acb4f6ab93e9501db044071e196c6f Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 3 Aug 2000 16:53:41 +0000
Subject: ** B make help key bindings appear in "Show me ..." menu;

---
 isar/todo | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/isar/todo b/isar/todo
index f0be8852..5bb5500e 100644
--- a/isar/todo
+++ b/isar/todo
@@ -4,6 +4,8 @@
 
 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);
@@ -20,4 +22,4 @@ Then users could use both proof languages in the same session.
 ** D Fixup so that typing in shell buffer updates locked buffer status.
 It works in Isabelle/classic, why not here?  (But users shouldn't
 type in shell buffer, anyway).
- 
+ 
\ No newline at end of file
-- 
cgit v1.2.3