| Name ▴ | Size | Last Modified |
|---|---|---|
| ../ | - | - |
| driver-GPL.txt | 706 B | 2001-08-30 19:01 |
| driver-LPPL.txt | 665 B | 2001-08-30 19:02 |
| driver.tex | 2.1 KB | 2001-09-08 17:00 |
| extractor-GPL.txt | 844 B | 2001-08-30 19:06 |
| extractor-LPPL.txt | 637 B | 2001-08-30 19:06 |
| extractor.ins | 2.5 KB | 2001-09-08 17:00 |
| Frankenfile | 51.9 KB | 2001-09-08 16:37 |
| part-1-GPL.txt | 849 B | 2001-08-30 19:08 |
| part-1-LPPL.txt | 638 B | 2001-08-30 19:08 |
| part-1.dtx | 2.2 KB | 2001-09-08 17:00 |
| part-2.dtx | 320 B | 1999-02-26 00:00 |
| part-3.dtx | 2.2 KB | 1999-03-06 00:00 |
12 items, 65.4 KB total