Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | SpiderMakefile | 252 | logplain |
-rw-r--r-- | a.spider | 11489 | logplain |
-rw-r--r-- | make | 212 | logplain |
-rw-r--r-- | nesting.spider | 1226 | logplain |
-rw-r--r-- | processed-a.spider | 15202 | logplain |
-rw-r--r-- | scan_annotations.awk | 1798 | logplain |
-rw-r--r-- | stacks.web | 12626 | logplain |