| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| README.txt | 971 B | Mar 22, 2022 |
| istgame-doc-v2.1.tex | 284.6 KiB | Mar 22, 2022 |
| istgame-doc.pdf | 789.8 KiB | Mar 22, 2022 |
| istgame-doc.tex | 30.8 KiB | Mar 22, 2022 |
| istgame.ist | 635 B | Sep 25, 2017 |
| istgame.sty | 117.6 KiB | Mar 22, 2022 |