diff options
| author | David Aspinall | 1998-09-22 13:28:00 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-22 13:28:00 +0000 |
| commit | bef19ff2be455a58362e984523c6a7d48266434e (patch) | |
| tree | 90bd442244394bf0e6a7b317faaadd1a2335afaa /etc/ProofGeneral.patch | |
| parent | b3ee5d1189e7d4e680faaf707dd9245b40f9eb55 (diff) | |
Added new buttons, changed icons.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions