Index of /pub/tex-archive/support/texdef

	Name	Last modified	Size	Description
	Parent Directory		-
	CHANGELOG	2020-09-28 14:56	2.6K
	INSTALL	2020-09-28 14:56	1.9K
	texdef.pdf	2020-09-28 14:56	149K
	texdef.pl	2020-09-28 14:56	32K
	texdef.tex	2020-09-28 14:56	15K