blob: 0ca9ab118e69f2ce54f3b578aac31275bbf8712c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
Icons for Generic Proof Mode.
David Aspinall <da@dcs.ed.ac.uk>
$Id$
Images in this directory were made with The Gimp.
Icons to fit on the (default size) Emacs toolbars are 32x32.
|