| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| struktex.de.pdf | 455221 | 2018-Jun-04 19:02 |
| struktex.en.pdf | 433146 | 2018-Jun-04 19:02 |
| struktex.dtx | 297248 | 2018-Jun-04 19:02 |
| struktex.ins | 3132 | 2018-Jun-04 19:02 |
| README.md | 2153 | 2018-Jun-04 19:02 |
| LIESMICH.md | 2090 | 2018-Jun-04 19:02 |