From 1e2c78ab5f1720de315a998d3162886af77bcf97 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 27 Aug 1999 14:35:41 +0000
Subject: Updated

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

diff --git a/todo b/todo
index 525b7979..b37ae6e1 100644
--- a/todo
+++ b/todo
@@ -36,6 +36,11 @@ A Obscure BUGS to investigate:
 C Improve Makefile.devel, Makefile, ProofGeneral.spec by abstracting
   ELISP_DIRS somehow.
 
+D Update logo to include new "???" prover badge  (maybe it should be 
+  "...")
+
+D Add etc/announce to web pages somewhere.
+
 B Improve relocatability of RPM package, and produce package for XEmacs
   which installs directly under ~/.xemacs/packages.
 
-- 
cgit v1.2.3