diff options
| author | David Aspinall | 2000-02-15 18:33:38 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-02-15 18:33:38 +0000 |
| commit | d7166d06af77d91ef9eed7a2130ed2b41cac9930 (patch) | |
| tree | 53205a6c495137a5d9579c97f38d3a8b890e75be /html/proofgen.css | |
| parent | 50f46e2623bd2282c3c25b421f75b24eef16071b (diff) | |
Minor improvements
Diffstat (limited to 'html/proofgen.css')
0 files changed, 0 insertions, 0 deletions