Index of /pub/texlive/Contents/live/texmf-dist/source/latex/mentis

	Name	Last modified	Size
	Parent Directory		-
	mentis.dtx	2006-07-22 17:42	50K
	mentis.ins	2006-07-22 17:42	1.9K