From 38e120c9fd262be7e8dde04b4b718a841654bbd6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 13 Sep 2001 16:27:34 +0000
Subject: updated

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

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