diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-12-09 17:58:36 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-09 17:58:36 +0000 |
| commit | 5eb8f216cd3a70930281adf089821c9c3b1c0c16 (patch) | |
| tree | aee4c061c3b414bf8392ab5b587ebe16721975b3 /images | |
| parent | 67f4e3b4d832c49da491a56b111684bc085fa9b4 (diff) | |
Updated.
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). |