Public Mirrors
![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/icons/back.gif){kind=icon} | Parent Directory | - | |
![[ ]](/icons/unknown.gif){kind=icon} | 8r.enc | 2002-05-24 17:09 | 4.3K |
| DC.enc | 2002-05-24 17:09 | 3.3K |
| asex.enc | 2002-05-24 17:09 | 11K |
| asexp.enc | 2002-05-24 17:09 | 3.7K |
| color.pro | 2002-05-24 17:09 | 3.1K |
![[ ]](/icons/a.gif){kind=icon} | config.ps | 2002-05-24 17:09 | 1.7K |
| crop.pro | 2002-05-24 17:09 | 315 |
| dc.enc | 2002-05-24 17:09 | 3.3K |
| dvips.enc | 2002-05-24 17:09 | 2.9K |
| extex.enc | 2002-05-24 17:09 | 3.3K |
| finclude.pro | 2002-05-24 17:09 | 204 |
| funky.enc | 2002-05-24 17:09 | 4.7K |
| psfonts.map | 2002-05-24 17:09 | 2.0K |
| put.map | 2002-05-24 17:09 | 230 |
| render.ps | 2002-05-24 17:09 | 5.2K |
| special.pro | 2002-05-24 17:09 | 3.8K |
| tex.pro | 2002-05-24 17:09 | 3.2K |
| texc.pro | 2002-05-24 17:09 | 4.0K |
| texmext.enc | 2002-05-24 17:09 | 3.5K |
| texmital.enc | 2002-05-24 17:09 | 2.3K |
| texmsym.enc | 2002-05-24 17:09 | 2.8K |
| texps.pro | 2002-05-24 17:09 | 633 |