diff options
| author | David Aspinall | 1998-09-24 15:01:27 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-24 15:01:27 +0000 |
| commit | 5639c36e4f47b7d864ae8adcb6b73b2b31fe0a5e (patch) | |
| tree | d9338f1e4a376ed0948b4de7faffc22bd8a8ed2b /etc/ProofGeneral.patch | |
| parent | 89044ea6580b20b7abf7f9ea6a0fed67a4b310e7 (diff) | |
Adjusted directories to /home/proofgen
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions