![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 8r.enc | 1994-09-13 22:07 | 4.3K | |
| DC.enc | 1994-09-13 22:07 | 3.3K | |
| asex.enc | 1994-09-13 22:07 | 11K | |
| asexp.enc | 1994-09-13 22:07 | 3.7K | |
| color.pro | 1994-09-13 22:07 | 3.1K | |
| config.ps | 1994-09-08 04:52 | 1.7K | |
| crop.pro | 1994-09-13 22:07 | 315 | |
| dc.enc | 1994-09-13 22:07 | 3.3K | |
| dvips.enc | 1994-09-13 22:07 | 2.9K | |
| extex.enc | 1994-09-13 22:07 | 3.3K | |
| finclude.pro | 1994-09-13 22:07 | 204 | |
| funky.enc | 1994-09-13 22:07 | 4.7K | |
| psfonts.map | 1994-09-08 02:47 | 2.0K | |
| put.map | 1994-06-05 18:31 | 230 | |
| render.ps | 1994-09-09 12:41 | 5.2K | |
| special.pro | 1994-09-13 22:07 | 3.8K | |
| tex.pro | 1994-09-13 22:07 | 3.2K | |
| texc.pro | 1994-09-13 22:07 | 4.0K | |
| texmext.enc | 1994-09-13 22:07 | 3.5K | |
| texmital.enc | 1994-09-13 22:07 | 2.3K | |
| texmsym.enc | 1994-09-13 22:07 | 2.8K | |
| texps.pro | 1994-09-13 22:07 | 633 | |