1 files changed, 2 insertions, 0 deletions
diff --git a/todo b/todo
index 8b2b2edd..a6b1750d 100644
--- a/todo
+++ b/todo
@@ -29,6 +29,8 @@ X (Low)		e.g. probably not worth spending time on
 
 *** Scheduled improvements for 3.2
 
+**** A Doc new bits: font lock keywords, silent stuff, filename %e, %r.
+
 **** A Add a new keymap(s) for proof assistants.
   Presently they naughtily bind C-c <letter> which are reserved for
   users.  As a prelude to introducing more prover-specific commands,