Index of /tex-archive/web/spiderweb/src/ada

	Name	Last modified	Size	Description
	Parent Directory		-
	old.spider	1993-04-03 16:00	8.0K
	new.spider	1993-04-03 16:00	9.8K
	ada.spider	1993-04-03 16:00	8.5K
	make	1988-12-06 16:00	128
	stacks.web	1988-11-15 16:00	10K