diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 18:17:25 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 18:17:25 +0000 |
| commit | 285c99f3db535e4531e5a48ae5cfdb80ec7ddbe6 (patch) | |
| tree | 06ad4fc815cd75af8f50e9ccaf1b97f4a0da2fdd /etc/proofgeneral-domain.txt | |
| parent | 48243a0f744d4ce39256cf74001f8f167306e67f (diff) | |
Add icon images.
Diffstat (limited to 'etc/proofgeneral-domain.txt')
0 files changed, 0 insertions, 0 deletions