Public Mirrors
![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/icons/back.gif){kind=icon} | Parent Directory | - | |
![[ ]](/icons/unknown.gif){kind=icon} | diskt1 | 1996-10-01 08:00 | 2.8K |
| maketag | 1997-03-16 08:00 | 3.8K |
| maketag.ez | 1997-03-16 08:00 | 4.0K |
| readme | 1996-09-27 08:00 | 359 |
| tagfile | 1996-10-01 08:00 | 401 |
| tagfile.org | 1996-10-01 08:00 | 401 |
![[ ]](/icons/compressed.gif){kind=icon} | tb-trans.tgz | 1996-10-01 08:00 | 143K |
| tb-xfig.tgz | 1996-10-01 08:00 | 527K |
| td-bibt.tgz | 1996-09-26 08:00 | 59K |
| td-eplai.tgz | 1996-09-26 08:00 | 79K |
| td-fonts.tgz | 1996-09-26 08:00 | 109K |
| td-misc.tgz | 1996-09-26 08:00 | 307K |
| td-mkidx.tgz | 1996-09-26 08:00 | 43K |
| tf-sautr.tgz | 1996-09-26 08:00 | 53K |
| tm-bibt.tgz | 1996-09-26 08:00 | 23K |
| tm-eplai.tgz | 1996-09-26 08:00 | 20K |