Index of /texmf-dist/fonts/tfm/public/old-arrows

	Name	Last modified	Size	Description
	Parent Directory		-
	oabsy5.tfm	2015-09-12 00:45	720
	oabsy6.tfm	2015-09-12 00:45	720
	oabsy7.tfm	2015-09-12 00:45	720
	oabsy8.tfm	2015-09-12 00:45	720
	oabsy9.tfm	2015-09-12 00:45	716
	oabsy10.tfm	2015-09-12 00:45	716
	oasy5.tfm	2015-09-12 00:45	716
	oasy6.tfm	2015-09-12 00:45	716
	oasy7.tfm	2015-09-12 00:45	716
	oasy8.tfm	2015-09-12 00:45	716
	oasy9.tfm	2015-09-12 00:45	716
	oasy10.tfm	2015-09-12 00:45	716