| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| sourcexint.pdf | 2.5 MiB | 2022-06-12 03:20:08 UTC+09:00 |
| xint.dtx | 1.9 MiB | 2022-06-12 03:18:40 UTC+09:00 |
| xint.pdf | 1.0 MiB | 2022-06-12 03:19:28 UTC+09:00 |
| CHANGES.html | 146.3 KiB | 2022-06-12 03:20:09 UTC+09:00 |
| Makefile | 466 B | 2022-05-24 18:11:40 UTC+09:00 |