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

	Name	Last modified	Size	Description
	Parent Directory		-
	stacks.web	1987-12-14 00:00	12K
	scan_annotations.awk	1988-06-08 00:00	1.8K
	processed-a.spider	1993-04-04 00:00	15K
	nesting.spider	1993-04-04 00:00	1.2K
	make	1988-07-13 00:00	212
	a.spider	1993-04-04 00:00	11K
	SpiderMakefile	1988-07-03 00:00	252