Name | Last modified | Size | Description | Metadata | |
---|---|---|---|---|---|
Parent Directory | - | ||||
00index.txt | 21-Jul-1994 23:49 | 130 | Details | ||
diskt5 | 21-Jul-1994 23:49 | 238 | Details | ||
install.end | 21-Jul-1994 23:49 | 4 | Details | ||
texams.tgz | 21-Jul-1994 23:49 | 388K | Details | ||
texfont.tgz | 21-Jul-1994 23:49 | 777K | Details | ||