Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Frankenfile | 53178 | logplain |
-rw-r--r-- | driver-GPL.txt | 706 | logplain |
-rw-r--r-- | driver-LPPL.txt | 665 | logplain |
-rw-r--r-- | driver.tex | 2103 | logplain |
-rw-r--r-- | extractor-GPL.txt | 844 | logplain |
-rw-r--r-- | extractor-LPPL.txt | 637 | logplain |
-rw-r--r-- | extractor.ins | 2516 | logplain |
-rw-r--r-- | part-1-GPL.txt | 849 | logplain |
-rw-r--r-- | part-1-LPPL.txt | 638 | logplain |
-rw-r--r-- | part-1.dtx | 2246 | logplain |
-rw-r--r-- | part-2.dtx | 320 | logplain |
-rw-r--r-- | part-3.dtx | 2234 | logplain |