Index of /tex-archive/web/spiderweb/tools/excerpt

	Name	Last modified	Size	Description
	Parent Directory		-
	excerpt	1991-01-14 00:00	1.1K
	excerpt.doc	1988-07-21 00:00	1.3K
	filesplit.web	1988-03-13 00:00	4.3K
	section.c	1991-01-14 00:00	1.6K