diff options
| author | David Aspinall | 1998-10-12 12:45:30 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-12 12:45:30 +0000 |
| commit | f1221f3e544691d7b0971f007ce993c3fa3ae6a2 (patch) | |
| tree | 354c2758111f6f1ec76cc36c59a1b6b5f3496ab0 /etc/ProofGeneral.patch | |
| parent | c5cfcda5020b70994f5721b53837e2621cf13ed8 (diff) | |
Doc strings
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions