| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| README | 2.5 KiB | 2019-09-18 13:01:19 UTC+09:00 |
| extract.dtx | 74.9 KiB | 2019-09-18 13:00:37 UTC+09:00 |
| extract.pdf | 226.0 KiB | 2019-09-17 14:40:48 UTC+09:00 |
| extract.sty | 16.3 KiB | 2019-09-18 13:00:43 UTC+09:00 |