../ SpiderMakefile 03-Jul-1988 00:00 252 a.spider 04-Apr-1993 00:00 11K make 13-Jul-1988 00:00 212 nesting.spider 04-Apr-1993 00:00 1226 processed-a.spider 04-Apr-1993 00:00 15K scan_annotations.awk 08-Jun-1988 00:00 1798 stacks.web 14-Dec-1987 00:00 12K