Public Mirrors
![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/icons/back.gif){kind=icon} | Parent Directory | - | |
![[TXT]](/icons/text.gif){kind=icon} | 00readme.txt | 1994-06-01 02:00 | 3.6K |
![[ ]](/icons/unknown.gif){kind=icon} | amsfonts.fdd | 1994-06-01 01:45 | 7.9K |
| amsfonts.ins | 1994-06-01 01:44 | 4.3K |
| eufrak.dtx | 1994-06-01 01:45 | 4.2K |
| eufrak.ins | 1994-06-01 01:45 | 2.8K |
| euscript.dtx | 1994-06-01 01:45 | 4.1K |
| euscript.ins | 1994-06-01 01:45 | 2.9K |
| oldgerm.dtx | 1994-06-01 01:45 | 36K |
| oldgerm.ins | 1994-06-01 01:45 | 4.2K |
| pandora.dtx | 1994-06-01 01:45 | 8.0K |
| pandora.ins | 1994-06-01 01:45 | 4.1K |