diff options
| author | David Aspinall | 1998-10-28 18:18:03 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-28 18:18:03 +0000 |
| commit | bd35adb0833e8641c4a40c1552c271f21f0ecfaf (patch) | |
| tree | 575201f6621dda5b0a1771f2e2d04d1e68565701 /etc/ProofGeneral.patch | |
| parent | c7c4ea6f3c6ed9b030fa5ee02886c66a53d57ce2 (diff) | |
Some experimental code added
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions