2 files changed, 0 insertions, 2 deletions
diff --git a/html/IsaPGscreen.jpg b/html/IsaPGscreen.jpg
index 437ee895..5e2dda74 100644
--- a/html/IsaPGscreen.jpg
+++ b/html/IsaPGscreen.jpg
diff --git a/todo b/todo
index 395d2fe4..846da068 100644
--- a/todo
+++ b/todo
@@ -451,5 +451,3 @@ 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
-
-B update screenshot so that it displays most recent icons
-\ No newline at end of file