Index of /support/texdef

	Name	Last modified	Size	Description
	Parent Directory		-
	texdef.tex	28-Mar-2018 22:17	14K
	texdef.pl	28-Mar-2018 22:17	32K
	texdef.pdf	28-Mar-2018 22:17	148K
	INSTALL	28-Mar-2018 22:17	1.9K
	CHANGELOG	28-Mar-2018 22:17	2.3K