imenu todo

1 files changed, 3 insertions, 0 deletions

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