diff options
| author | David Aspinall | 1998-10-01 14:14:34 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-01 14:14:34 +0000 |
| commit | c1001a0e605a185570186fd4f967acf0c8f48bc3 (patch) | |
| tree | 802018df30cc2870e42da5955840b9536fceb44a /etc/ProofGeneral.patch | |
| parent | 9b03e5c730f86147e1c1e5823878b363ea2be9e1 (diff) | |
Updated.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions