From fa6afeafadf077ab7f9a954c3e71b9ea9fad7a7f Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 14 Jun 2004 08:38:30 +0000
Subject: Note another todo

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

diff --git a/todo b/todo
index dacf3987..36ee10f0 100644
--- a/todo
+++ b/todo
@@ -3,6 +3,13 @@ $Id$
 
 This is an outline file.   Use C-c C-n, C-c C-p or menu to navigate.
 
+=================================================================
+
+3.5.1 Another TODO
+
+* Integrate large demo font
+
+
 =================================================================
 
 3.5.1 Coq-8 fixup release TODO
-- 
cgit v1.2.3