1 files changed, 3 insertions, 4 deletions
diff --git a/isar/todo b/isar/todo
index a7ba9473..19258d94 100644
--- a/isar/todo
+++ b/isar/todo
@@ -1,9 +1,8 @@
 -*- mode:outline -*-
 
-* See also ../todo for generic things to do, priority codes.
-
 * Things to do for Isabelle/Isar
-================================
 
-C Combine with isa/ to get single Isabelle PG instance, maybe?
+See also ../todo for generic things to do, priority codes.
+
+** C Combine with isa/ to get single Isabelle PG instance, maybe?