aboutsummaryrefslogtreecommitdiffhomepage
path: root/images/README
blob: a487c9296f763d1e6df1ea096dc8bac913c47fb7 (plain)
1
2
3
4
5
6
7
8
9
10
Icons for Proof General.

David Aspinall <da@dcs.ed.ac.uk>

$Id$

The images in this directory were made with The Gimp
(check www.gimp.org).