![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| bin.tar.Z | 1990-08-24 15:44 | 1.2K |
| lib.tar.Z | 1990-08-24 15:45 | 2.2M |
| share.tar.Z | 1990-08-24 15:49 | 9.6M |
| src1.tar.Z | 1990-08-24 15:51 | 5.4M |
| src2.tar.Z | 1990-08-24 15:52 | 3.4M |
| texsgi | 1990-08-21 03:44 | 204K |
| texsgi-fonts.tar.Z | 1990-08-21 03:43 | 4.7M |
| texsgi-src.tar.Z | 1990-08-21 03:43 | 78K |