Index of /pub/tex/historic/systems/unix/TeX2.9/tex82/TeXdoc

	Name	Last modified	Size
	Parent Directory		-
	history.txt	1985-09-02 16:00	3.3K
	tex82.dif	1983-12-08 16:00	102K
	texman.tex	1987-10-30 16:00	1.3M