| Name | Format | # Pages | Size | Date |
|---|---|---|---|---|
| stacks.web | Texinfo Document | 13KB | 1987-12-15 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| a.spider | Text File | 376 | 11KB | 1989-04-06 |
| make | Text File | 6 | 212b | 1988-07-14 |
| nesting.spider | Text File | 22 | 1KB | 1989-04-06 |
| processed-a.spider | Text File | 419 | 15KB | 1989-04-06 |
| scan_annotations.awk | Text File | 82 | 2KB | 1988-06-09 |
| SpiderMakefile | Makefile | 10 | 252b | 1988-07-04 |