diff options
| author | Makarius Wenzel | 2000-07-03 13:19:21 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-07-03 13:19:21 +0000 |
| commit | 3188396e4e0ecdb8b0805fea60da2c2b051f9057 (patch) | |
| tree | 047cd86b419c3decc7f44752aba418480542cdac /html/proofgen.css | |
| parent | fff9a45d7770058207e5b510284d0019efc56919 (diff) | |
quick-and-dirty t by default;
Diffstat (limited to 'html/proofgen.css')
0 files changed, 0 insertions, 0 deletions