diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-12-12 00:01:21 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-12 00:01:21 +0000 |
| commit | 2daaa99733dab8a003b997986fb77ee237eb6b74 (patch) | |
| tree | de5a5de468cad6f49435e1d8791871ff42f84735 /images | |
| parent | 0426a12a480db538fe6ea19aa6d4445b243b1f6d (diff) | |
Updated.
Diffstat (limited to 'images')
| -rw-r--r-- | images/README | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/images/README b/images/README index a2498657..3394971e 100644 --- a/images/README +++ b/images/README @@ -2,8 +2,6 @@ $Id$ Icons for Proof General. -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 @@ -12,11 +10,15 @@ license, see http://creativecommons.org/licenses/by-nc-sa/3.0/ The Inkscape-based search icon includes portions from Andrew Fitzsimon's Etiquette search icon (under CC 2.0). ----- +[ Inkscape-based icons forthcoming ] + Note for developers: the sources for images have been moved to the PG graphics repository. + David Aspinall <da@inf.ed.ac.uk> + + |