blob: e9bc5489955b2cfa266ff7af2e1e0701854458a1 (
plain)
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).
|