Name	Last modified	Size	Description
	Parent Directory		-
	diskt1	01-Oct-1996 03:00	2.8K
	maketag	16-Mar-1997 03:00	3.8K
	maketag.ez	16-Mar-1997 03:00	4.0K
	readme	27-Sep-1996 03:00	359
	tagfile	01-Oct-1996 03:00	401
	tagfile.org	01-Oct-1996 03:00	401
	tb-trans.tgz	01-Oct-1996 03:00	143K
	tb-xfig.tgz	01-Oct-1996 03:00	527K
	td-bibt.tgz	26-Sep-1996 03:00	59K
	td-eplai.tgz	26-Sep-1996 03:00	79K
	td-fonts.tgz	26-Sep-1996 03:00	109K
	td-misc.tgz	26-Sep-1996 03:00	307K
	td-mkidx.tgz	26-Sep-1996 03:00	43K
	tf-sautr.tgz	26-Sep-1996 03:00	53K
	tm-bibt.tgz	26-Sep-1996 03:00	23K
	tm-eplai.tgz	26-Sep-1996 03:00	20K