diff options
| author | David Aspinall | 1998-10-20 10:40:03 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-20 10:40:03 +0000 |
| commit | ab09e42a7c1912eedb35834effdedc7ba70f2098 (patch) | |
| tree | cfa66e5c094de4972092304511308ae64db1e61e /etc/ProofGeneral.patch | |
| parent | 8ba4842e8446fe395ec904291108bbd00ae37daf (diff) | |
Updated screenshot.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions