diff options
| author | David Aspinall | 2002-07-16 11:58:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-16 11:58:17 +0000 |
| commit | c602e0c1e439a08120388489bd8265837a005c5e (patch) | |
| tree | f3f0b3ac48938f666fa098d9726b54925e2f7948 /html/proofgen.css | |
| parent | 3a6819f744b1f3365196326299a055c204f02961 (diff) | |
Revert some premature changes in x-sym support
Diffstat (limited to 'html/proofgen.css')
0 files changed, 0 insertions, 0 deletions