Index of /obsolete/fonts/tipa

	Name	Last modified	Size	Description
	Parent Directory		-
	tipa-1.2/	2009-04-07 09:14	-
	tipaman.ps	2004-03-25 08:51	6.7M

Apache/2.4.62 (Debian) Server at latex.org.uk Port 80