![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| html-extended.map | 2000-02-22 15:08 | 2.1K |
| html-extra.map | 2000-02-23 03:08 | 1.0K |
| html.map | 2000-06-22 01:00 | 1.1K |
| iso-8859-1.map | 2000-02-23 03:13 | 1.0K |
| iso-8859-15.map | 2000-02-22 13:39 | 219 |
| iso-8859-mixed.map | 2000-02-23 03:35 | 35 |
| latex-controls.map | 2000-02-23 04:15 | 131 |
| latex.map | 2000-06-22 01:00 | 8.9K |
| rfc-1345-7.map | 2000-03-02 06:49 | 563 |
| rfc-1345-8.map | 2000-03-02 06:49 | 1.4K |
| rfc-1345-16-obsolete.map | 2000-03-02 06:49 | 19K |
| rfc-1345-16.map | 2000-03-02 06:49 | 21K |