From dba2d8704e39d8d6deae1ecd1f7dd483c1c3add4 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 22 Sep 1998 13:27:34 +0000
Subject: New CD-player type icons

---
 images/README | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

(limited to 'images/README')

diff --git a/images/README b/images/README
index 0ca9ab11..a487c929 100644
--- a/images/README
+++ b/images/README
@@ -1,12 +1,10 @@
-Icons for Generic Proof Mode.
+Icons for Proof General.
 
 David Aspinall <da@dcs.ed.ac.uk>
 
 $Id$
 
-
-Images in this directory were made with The Gimp.
-Icons to fit on the (default size) Emacs toolbars are 32x32.
-
+The images in this directory were made with The Gimp
+(check www.gimp.org).
 
 
-- 
cgit v1.2.3