| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| dimnum.pdf | 217.0 KiB | 2021-04-05 22:16:16 UTC+09:00 |
| dimnum.dtx | 15.5 KiB | 2021-04-05 22:15:08 UTC+09:00 |
| changelog | 3.0 KiB | 2021-04-05 23:06:26 UTC+09:00 |
| dimnum.ins | 2.1 KiB | 2021-04-01 20:29:32 UTC+09:00 |