| Name | Last modified | Size |
|---|---|---|
| ../ | ||
| SpiderMakefile | 1988/07/03 00:00:00 | 252 |
| a.spider | 1993/04/04 00:00:00 | 11489 |
| make | 1988/07/13 00:00:00 | 212 |
| nesting.spider | 1993/04/04 00:00:00 | 1226 |
| processed-a.spider | 1993/04/04 00:00:00 | 15202 |
| scan_annotations.awk | 1988/06/08 00:00:00 | 1798 |
| stacks.web | 1987/12/14 00:00:00 | 12626 |
This directory on ctan.org. Sizes in bytes, times as CTAN lists them.