diff options
| author | David Aspinall | 2002-07-18 15:30:21 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-18 15:30:21 +0000 |
| commit | e154c1151727bd20511aeb5a18ddbbb71d980ee6 (patch) | |
| tree | d15f40430ef94bb46dcc78414ee581af4c244eca /html/components.html | |
| parent | 6f577f7a76aae1d0ff1100ec905c84c04a6ff47b (diff) | |
Fix sub/sups; defer loading x-symbol-isabelle.
Diffstat (limited to 'html/components.html')
0 files changed, 0 insertions, 0 deletions