Index of /support/texdef

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