diff options
| author | David Aspinall | 1999-06-07 17:06:57 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-06-07 17:06:57 +0000 |
| commit | 782bbd5488e8cdda659dae672e40cb9bbbb24d1c (patch) | |
| tree | cfbc98f31651d366b29d75c2e8df2bda1a5f39a4 /etc/ProofGeneral.patch | |
| parent | 5362a1cccca751562c5e894e9531202b8ac5a36f (diff) | |
Comments
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions