Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
00index.txt | 1994-07-22 01:49 | 286 | ||
diskt1 | 1994-07-22 01:49 | 1.0K | ||
dvi2xx.tgz | 1994-07-22 01:49 | 104K | ||
gentle.tgz | 1994-07-22 01:49 | 59K | ||
maketag | 1994-07-22 01:49 | 1.2K | ||
manifest.gz | 1994-07-22 01:49 | 7.0K | ||
readme.tex | 1994-07-22 01:49 | 2.7K | ||
tagfile | 1994-07-22 01:49 | 153 | ||
tagfile.org | 1994-07-22 01:49 | 153 | ||
tagfile.pat | 1994-07-22 01:49 | 153 | ||
texbin.tgz | 1994-07-22 01:49 | 710K | ||