images/README


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

$Id$

Icons for Proof General.

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

Contact:  Proof General maintainer <proofgen@dcs.ed.ac.uk>

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