blob: 25a79fdab630a19fd288e9f20ef1a05d6cc078bc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
$Id$
Icons for Proof General.
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 https://creativecommons.org/licenses/by-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>
The 2016 “chibi” icons were contributed by Yoshihiro Imai
(http://proofcafe.org/~yoshihiro503/). They are available under the terms of the
GPL, and were originally released at https://github.com/yoshihiro503/generaltan.
|