diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-11-12 14:22:03 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-12 14:22:03 +0000 |
| commit | b8fa44e9b8bcb2074424ce55ecea0de8ed62914b (patch) | |
| tree | 369e3da7491565ad6d2e6c57fe64d3be26dd0c98 /generic | |
| parent | 5f2b218f32ad98c1821169573cdb787230def7f7 (diff) | |
Note about atrocious performance of proof-sement-up-to, even when compiled.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions