| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| stoneipa.ins | 1.4 KiB | 2018-07-11 12:43:42 UTC+09:00 |
| stoneipa.dtx | 9.1 KiB | 2018-07-11 15:46:30 UTC+09:00 |
| stoneipa.pdf | 92.7 KiB | 2018-07-11 15:46:34 UTC+09:00 |
| README.txt | 763 B | 2018-07-11 16:12:50 UTC+09:00 |