Index of /tex/ptc

	Name	Last modified	Size	Description
	Parent Directory		-
	ptc-tex-diff-1.8-1.9	1993-06-18 10:03	3.7K
	ptc-tex-diff-1.7-1.8	1993-06-18 10:03	540
	ptc-tex-1.7.tar.gz	1993-06-18 10:03	85K
	ORIGIN	1993-06-18 10:03	265
	Index	1993-06-18 10:03	220