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 | 2002-05-24 17:11 | 2.8K |
| maketag | 2002-05-24 17:11 | 3.5K |
| maketag.ez | 2002-05-24 17:11 | 3.7K |
| readme | 2002-05-24 17:11 | 359 |
| tagfile | 2002-05-24 17:11 | 401 |
| tagfile.org | 2002-05-24 17:11 | 401 |
![[ ]](/icons/compressed.gif){kind=icon} | tb-trans.tgz | 2002-05-24 17:11 | 143K |
| tb-xfig.tgz | 2002-05-24 17:11 | 527K |
| td-bibt.tgz | 2002-05-24 17:11 | 59K |
| td-eplai.tgz | 2002-05-24 17:11 | 79K |
| td-fonts.tgz | 2002-05-24 17:11 | 109K |
| td-misc.tgz | 2002-05-24 17:11 | 307K |
| td-mkidx.tgz | 2002-05-24 17:11 | 43K |
| tf-sautr.tgz | 2002-05-24 17:11 | 53K |
| tm-bibt.tgz | 2002-05-24 17:11 | 23K |
| tm-eplai.tgz | 2002-05-24 17:11 | 20K |