Index of /pub/software/tex/web/spiderweb/src/penelope/

Filename	Modification time	Size
SpiderMakefile	1988-07-03 02:00 CEST	252 B
a.spider	1993-04-04 02:00 CEST	11 KiB
make	1988-07-13 02:00 CEST	212 B
nesting.spider	1993-04-04 02:00 CEST	1226 B
processed-a.spider	1993-04-04 02:00 CEST	15 KiB
scan_annotations.awk	1988-06-08 02:00 CEST	1798 B
stacks.web	1987-12-14 01:00 CET	12 KiB