Index of /pub/tex-archive/digests/tex88/exotex

	Name	Last modified	Size
	Parent Directory		-
	diatop.tex	1992-09-26 18:00	403
	exotex.tex	1992-09-26 18:00	12K
	greek.tex	1992-09-26 18:00	5.8K