![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| 00readme.txt | 1995-05-08 18:00 | 2.2K |
| atari.dtx | 1995-05-08 18:00 | 7.3K |
| german.dtx | 1995-05-08 18:00 | 2.5K |
| hproman8.dtx | 1995-05-08 18:00 | 6.0K |
| ibm850.dtx | 1995-05-08 18:00 | 7.4K |
| ibm852.dtx | 1995-05-08 18:00 | 7.3K |
| install.txt | 1995-05-08 18:00 | 2.1K |
| iso88591.dtx | 1995-05-08 18:00 | 6.1K |
| iso88592.dtx | 1995-05-08 18:00 | 6.0K |
| macroman.dtx | 1995-05-08 18:00 | 7.6K |
| manifest.txt | 1995-05-08 18:00 | 1.3K |
| mapcodes.dtx | 1995-05-08 18:00 | 26K |
| mapcodes.ins | 1995-05-08 18:00 | 2.6K |
| spanish.dtx | 1995-05-08 18:00 | 2.4K |