diff options
| author | Thomas Kleymann | 1998-10-18 12:45:03 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-10-18 12:45:03 +0000 |
| commit | b7da9fdb9ad58a645d399a05a1c75b94733302d3 (patch) | |
| tree | 9ca44d6e451aedbb9af78f38648491c0b16484f7 /etc/ProofGeneral.patch | |
| parent | 94de4a61434e5533ae5e9582b8bd21c2dc6aefa9 (diff) | |
*** empty log message ***
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions