1 files changed, 3 insertions, 1 deletions
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