Index of /pub/texlive/Contents/live/texmf-dist/doc/support/texdef

	Name	Last modified	Size
	Parent Directory		-
	CHANGELOG	2018-04-09 16:57	2.3K
	INSTALL	2011-03-21 11:22	1.9K
	README	2018-04-09 16:57	6.0K
	texdef.pdf	2018-04-09 16:57	148K