| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| examples/ | - | 2024-01-12 20:00:00 UTC+09:00 |
| fonts/ | - | 2024-01-12 20:00:00 UTC+09:00 |
| tex/ | - | 2024-01-12 20:00:00 UTC+09:00 |
| README | 24.1 KiB | 2024-01-12 20:00:00 UTC+09:00 |
| manual-e.pdf | 266.0 KiB | 2024-01-12 20:00:00 UTC+09:00 |
| manual.pdf | 288.9 KiB | 2024-01-12 20:00:00 UTC+09:00 |