File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
DESCRIPTION | 104 B | 2021-09-24 08:11:58 UTC+09:00 |
standard.ins | 117 B | 2021-09-24 08:11:58 UTC+09:00 |
base.ins | 327 B | 2021-09-24 08:11:58 UTC+09:00 |
Makefile | 344 B | 2021-09-24 08:11:58 UTC+09:00 |
standard.dtx | 4.4 KiB | 2021-09-24 08:11:58 UTC+09:00 |
base.dtx | 11.8 KiB | 2021-09-24 08:11:58 UTC+09:00 |