From ab09e42a7c1912eedb35834effdedc7ba70f2098 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 20 Oct 1998 10:40:03 +0000
Subject: Updated screenshot.

---
 html/IsaPGscreen.jpg | Bin 49634 -> 50670 bytes
 todo                 |   2 --
 2 files changed, 2 deletions(-)

diff --git a/html/IsaPGscreen.jpg b/html/IsaPGscreen.jpg
index 437ee895..5e2dda74 100644
Binary files a/html/IsaPGscreen.jpg and b/html/IsaPGscreen.jpg differ
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
-- 
cgit v1.2.3