From bacdff71969c54572fcb65c23c06201e5a92bbe5 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Tue, 20 Oct 1998 10:13:59 +0000
Subject: Screenshot is out of date

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

diff --git a/todo b/todo
index 57ff76b4..395d2fe4 100644
--- a/todo
+++ b/todo
@@ -450,4 +450,6 @@ B According to the documentation of font-lock for Emacs 20.2, it
 
 B add links *from* Coq, Lego & Isabelle Web pages
 
-B add instructions for byte compilation
\ No newline at end of file
+B add instructions for byte compilation
+
+B update screenshot so that it displays most recent icons
\ No newline at end of file
-- 
cgit v1.2.3