diff options
| author | David Aspinall | 1998-10-12 15:11:01 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-12 15:11:01 +0000 |
| commit | 776d01db943c1cd29c87d5a20051b4495f649897 (patch) | |
| tree | fbe38bcce5a5ea5aab9e60ec7045bb7dbef60e0e /etc/ProofGeneral.patch | |
| parent | f5f03140aad5f7c821e58acdf039bbb5046f9b44 (diff) | |
Removed some stuff thats been done.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions