From 437eff8682bdf7fd2d685f1812fb4c343d2af8d6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 4 Apr 2000 17:38:10 +0000
Subject: Updated

---
 todo | 2 ++
 1 file changed, 2 insertions(+)

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,
-- 
cgit v1.2.3