| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| README.txt | 2018-Feb-20 22:23:00 | 1.2K | text/plain;charset=utf-8 |
| makedtx.dtx | 2018-Feb-21 15:13:48 | 58.2K | application/octet-stream |
| makedtx.ins | 2018-Feb-21 15:13:48 | 1.3K | application/octet-stream |
| makedtx.pdf | 2018-Feb-21 15:14:02 | 293.4K | application/pdf |