| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| Images/ | - | 2026-Oct-23 16:52 | |
| ugentdocs.pdf | 584391 | 2026-Oct-23 16:15 | |
| ugentdocs.dtx | 394349 | 2026-Oct-23 16:15 | |
| CHANGELOG.md | 95675 | 2026-Oct-23 16:15 | |
| ugentdocs.ins | 6760 | 2026-Oct-23 16:15 | |
| README.md | 1993 | 2026-Oct-23 16:15 | |