| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| CHANGES | 319 | 2018-Jun-03 22:28 | |
| README | 1051 | 2018-Jun-03 22:28 | |
| colophon.dtx | 19420 | 2018-Jun-03 22:28 | |
| colophon.ins | 2251 | 2018-Jun-03 22:28 | |
| colophon.pdf | 371221 | 2018-Jun-03 22:28 | |
| lppl.txt | 19106 | 2018-Jun-03 22:28 | |