![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| doc/ | 1992-01-17 10:40 | - |
| fonts/ | 1992-01-17 10:49 | - |
| general/ | 2002-04-26 08:18 | - |
| readme.dec | 1991-11-30 16:00 | 813 |
| readme.jan | 1992-01-13 16:00 | 868 |
| readme.mar | 1992-03-22 05:40 | 755 |
| sty/ | 2002-04-26 08:18 | - |
| updates.mar | 1992-03-28 15:27 | 743 |