diff options
Diffstat (limited to 'images')
-rw-r--r-- | images/README | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/images/README b/images/README index e9bc5489..2c64018f 100644 --- a/images/README +++ b/images/README @@ -2,12 +2,17 @@ $Id$ Icons for Proof General. -David Aspinall <da@dcs.ed.ac.uk> +David Aspinall <da@inf.ed.ac.uk> + +The images in this directory were made with The Gimp and Inkscape. +They were created in my spare time as a donation to the Proof General +project. The images here are released under the Creative Commons +license, see http://creativecommons.org/licenses/by-nc-sa/3.0/ + +The search icon includes portions from Andrew Fitzsimon's Etiquette +search icon (under CC 2.0). -Contact: Proof General maintainer <proofgen@dcs.ed.ac.uk> -The images in this directory were made with The Gimp -(check www.gimp.org). |