![[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 | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| units_12.zip | 1995-01-12 23:00 | 70K | |
| porto004.zip | 1995-01-12 23:00 | 19K | |
| nfs-stuff.tar.gz | 1996-01-10 23:00 | 41K | |
| minth013.zip | 1995-12-11 23:00 | 52K | |
| latexhlp.zip | 1995-02-05 23:00 | 1.4M | |
| katma106.zip | 1995-08-29 00:00 | 12K | |
| hyptree3.zip | 1995-01-12 23:00 | 36K | |
| guidtool.lzh | 1995-03-29 00:00 | 5.0K | |
| gfaba100.zip | 1995-01-12 23:00 | 119K | |