| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| archives/ | - | 2026-Jul-30 20:47 | |
| bin/ | - | 2026-Jul-30 20:47 | |
| doc/ | - | 2026-Jul-30 20:47 | |
| fonts/ | - | 2026-Jul-30 20:47 | |
| metapost/ | - | 2026-Jul-30 20:47 | |
| scripts/ | - | 2026-Jul-30 20:47 | |
| source/ | - | 2026-Jul-30 20:47 | |
| tex/ | - | 2026-Jul-30 20:47 | |
| DEPENDS.txt | 5152 | 2026-Jul-29 17:46 | |
| README.md | 7122 | 2026-Jul-29 17:46 | |
| VERSION | 19 | 2026-Jul-29 17:46 | |