1 files changed, 2 insertions, 0 deletions
diff --git a/todo b/todo
index 98ce68c8..b5df1a76 100644
--- a/todo
+++ b/todo
@@ -923,6 +923,8 @@ Output written on ProofGeneral.pdf (2 pages, 54702 bytes).
 ** 10. Things to do for Proof General Project
 
 
+*** A Make informatics research reports from latest docs.
+
 *** A Try to get small project grant from LFCS to help with
   development of Proof General.  Latest news: success is 
   doubtful. Needs a self-contained project that