diff options
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). |