diff options
| author | David Aspinall | 1999-11-08 14:05:12 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-08 14:05:12 +0000 |
| commit | aaaea19b880b4a82459e2bd06601307dd38a30b7 (patch) | |
| tree | 6410b13c3f9838a2bdeddccd73b13d7bc6e2f8e3 /html | |
| parent | c250cbc90e5d5d3a6942b3b89d0e7aa8e205cf27 (diff) | |
Changed web page to official one.
Added x-symbol support (moved here from generic/proof-x-symbol)
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions