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).