File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
part-3.dtx | 2.2 KiB | 1999-03-06T00:00Z |
part-2.dtx | 320 B | 1999-02-26T00:00Z |
part-1.dtx | 2.2 KiB | 2001-09-08T17:00Z |
part-1-LPPL.txt | 638 B | 2001-08-30T19:08Z |
part-1-GPL.txt | 849 B | 2001-08-30T19:08Z |
extractor.ins | 2.5 KiB | 2001-09-08T17:00Z |
extractor-LPPL.txt | 637 B | 2001-08-30T19:06Z |
extractor-GPL.txt | 844 B | 2001-08-30T19:06Z |
driver.tex | 2.1 KiB | 2001-09-08T17:00Z |
driver-LPPL.txt | 665 B | 2001-08-30T19:02Z |
driver-GPL.txt | 706 B | 2001-08-30T19:01Z |
Frankenfile | 51.9 KiB | 2001-09-08T16:37Z |