| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| doc/ | - | 2017-08-24 01:28:30 UTC+09:00 |
| latex/ | - | 2017-08-24 01:28:30 UTC+09:00 |
| tex/ | - | 2023-04-20 10:15:02 UTC+09:00 |
| Changes | 372 B | 2024-03-17 14:32:53 UTC+09:00 |
| README | 238 B | 2024-03-17 14:33:21 UTC+09:00 |