| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| archives/ | - | 21-Aug-2025 13:15 |
| bin/ | - | 21-Aug-2025 13:16 |
| doc/ | - | 21-Aug-2025 13:16 |
| fonts/ | - | 21-Aug-2025 13:16 |
| metapost/ | - | 21-Aug-2025 13:16 |
| scripts/ | - | 21-Aug-2025 13:31 |
| source/ | - | 21-Aug-2025 13:16 |
| tex/ | - | 21-Aug-2025 13:15 |
| DEPENDS.txt | 5131 | 20-Aug-2025 07:30 |
| README.md | 7121 | 20-Aug-2025 07:30 |
| VERSION | 19 | 20-Aug-2025 07:30 |