blob: 2c64018f2a4a0e51174599520c2ee219db72d04d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
$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
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).
|