diff options
| author | David Aspinall | 2001-05-08 11:12:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-05-08 11:12:47 +0000 |
| commit | ee4d78e3f74adaef772699c95454621518416712 (patch) | |
| tree | aa2adeb0f4e7bd44dac931b8b7747e4ce8c811ce /etc/ProofGeneral.patch | |
| parent | 982af508367c4400e1c17f5f07f74e7374c57a42 (diff) | |
New news item
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions