From f5ac02c634619c6eabb355d0e8f96f3c18ce2cd2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 17 Apr 2004 15:40:46 +0000
Subject: imenu todo

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

diff --git a/isar/todo b/isar/todo
index 3740ade2..15f9bcfe 100644
--- a/isar/todo
+++ b/isar/todo
@@ -4,6 +4,9 @@
 
 See also ../todo for generic things to do, priority codes.
 
+** C Adjust imenu/fume to get sections/chapters usefully in tags
+     Need to grab a prefix of text from the markup section {* Foo *}
+
 ** C Electric terminator for non-terminator provers would be nice.
 
 ** B Isabelle support for ML and legacy files: would like to remove "isa" instance
-- 
cgit v1.2.3