diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-09-22 13:27:34 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-22 13:27:34 +0000 |
commit | dba2d8704e39d8d6deae1ecd1f7dd483c1c3add4 (patch) | |
tree | 0018c0acc6fcd060a6e8747f706bd2f680fd11a1 /images/README | |
parent | 1de7f688a2dbcb1965f08222e74d38b70531a37b (diff) |
New CD-player type icons
Diffstat (limited to 'images/README')
-rw-r--r-- | images/README | 8 |
1 files changed, 3 insertions, 5 deletions
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). |