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