| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| README.txt | 971 | 2022-Mar-22 14:27 |
| istgame-doc-v2.1.1.tex | 291532 | 2026-May-26 14:47 |
| istgame-doc.pdf | 807815 | 2026-May-26 14:49 |
| istgame-doc.tex | 32069 | 2026-May-26 14:40 |
| istgame.ist | 635 | 2017-Sep-25 20:37 |
| istgame.sty | 120902 | 2026-May-26 14:06 |