| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| data/ | - | 2025-02-20 20:47:07 UTC+09:00 |
| doc/ | - | 2016-12-09 00:05:09 UTC+09:00 |
| dvips/ | - | 2016-12-07 04:50:40 UTC+09:00 |
| latex/ | - | 2021-09-01 15:41:55 UTC+09:00 |
| tex/ | - | 2021-09-01 15:45:46 UTC+09:00 |
| Changes | 827 B | 2025-02-20 17:26:31 UTC+09:00 |
| README | 481 B | 2025-02-20 17:16:49 UTC+09:00 |