Note another todo

1 files changed, 7 insertions, 0 deletions

diff --git a/todo b/todo
index dacf3987..36ee10f0 100644
--- a/todo
+++ b/todo
@@ -5,6 +5,13 @@ 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
 
 * Fix display of sub/super scripts in Coq output