| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| currency.pdf | 171.6 KiB | 2018-10-24 12:30:30 UTC+09:00 |
| currency.ins | 1.9 KiB | 2018-10-24 12:29:58 UTC+09:00 |
| currency_doc.pdf | 516.8 KiB | 2018-10-24 12:29:58 UTC+09:00 |
| currency_doc.tex | 16.9 KiB | 2018-10-24 12:29:58 UTC+09:00 |
| currency.dtx | 11.4 KiB | 2018-10-24 12:29:58 UTC+09:00 |