| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| part-3.dtx | 2234 | 1999-Mar-06 09:00 | |
| part-2.dtx | 320 | 1999-Feb-26 09:00 | |
| part-1.dtx | 2246 | 2001-Sep-09 02:00 | |
| part-1-LPPL.txt | 638 | 2001-Aug-31 04:08 | |
| part-1-GPL.txt | 849 | 2001-Aug-31 04:08 | |
| extractor.ins | 2516 | 2001-Sep-09 02:00 | |
| extractor-LPPL.txt | 637 | 2001-Aug-31 04:06 | |
| extractor-GPL.txt | 844 | 2001-Aug-31 04:06 | |
| driver.tex | 2103 | 2001-Sep-09 02:00 | |
| driver-LPPL.txt | 665 | 2001-Aug-31 04:02 | |
| driver-GPL.txt | 706 | 2001-Aug-31 04:01 | |
| Frankenfile | 53178 | 2001-Sep-09 01:37 | |