From e9bb8318039d5326c2e77cf5450ed7ec2e48534e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 2 Oct 2000 18:17:28 +0000
Subject: Updated

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

diff --git a/todo b/todo
index d3920a78..2fa415e9 100644
--- a/todo
+++ b/todo
@@ -673,6 +673,9 @@ X (Low)		e.g. probably not worth spending time on
 
 *** A Doc new bits:  settings mechanism via defpacustom 
 
+*** C Update front page image
+  - Should include ??? logo to represent other provers
+
 *** B Manual improvements before techreport publishing (see notes at end also):
   - Mention configuring function menus, outline.
   - Consider splitting up chapter 9?
-- 
cgit v1.2.3