12 files, 65 KiB
| Name | Modified (UTC) | Size |
|---|---|---|
| ../ | ||
| Frankenfile | 2001-09-08 16:37 | 52 KiB |
| driver.tex | 2001-09-08 17:00 | 2.1 KiB |
| driver-GPL.txt | 2001-08-30 19:01 | 706 B |
| driver-LPPL.txt | 2001-08-30 19:02 | 665 B |
| extractor.ins | 2001-09-08 17:00 | 2.5 KiB |
| extractor-GPL.txt | 2001-08-30 19:06 | 844 B |
| extractor-LPPL.txt | 2001-08-30 19:06 | 637 B |
| part-1.dtx | 2001-09-08 17:00 | 2.2 KiB |
| part-1-GPL.txt | 2001-08-30 19:08 | 849 B |
| part-1-LPPL.txt | 2001-08-30 19:08 | 638 B |
| part-2.dtx | 1999-02-26 00:00 | 320 B |
| part-3.dtx | 1999-03-06 00:00 | 2.2 KiB |