diff options
| author | David Aspinall | 1999-06-07 16:49:54 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-06-07 16:49:54 +0000 |
| commit | 34292ab1cce85d74b0ed494e2d4c84e8e2c6891e (patch) | |
| tree | fdade37b145bb5c2e00e0e15716cede7b5a2cfaf /etc/ProofGeneral.patch | |
| parent | fad0a3db2b6d8276055a38a8d2598681bece1bf8 (diff) | |
Downrated Poly/ML related item since Poly is defunct.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions