| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| Images/ | - | 2026-Oct-27 02:44 | |
| ugentdocs.pdf | 593911 | 2026-Oct-26 22:52 | |
| ugentdocs.ins | 6760 | 2026-Oct-26 22:52 | |
| ugentdocs.dtx | 403316 | 2026-Oct-26 22:52 | |
| README.md | 1993 | 2026-Oct-26 22:52 | |
| CHANGELOG.md | 96988 | 2026-Oct-26 22:52 | |