diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2013-05-22 15:24:42 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2013-05-22 15:24:42 +0000 |
| commit | 4e97dadfe0ddae8bdfe2c6d083bb5648a7baf369 (patch) | |
| tree | 5541f80cecb5d13c401e6c4bac11da1b30096f05 /generic | |
| parent | e40001d34fef5595487558f33e5a6a7cdadaec77 (diff) | |
Add ProofGeneral.jpg to distribution
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions