| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| istgame.ist | 635 B | 2017-Sep-25 20:37 | |
| README.txt | 971 B | 2022-Mar-22 14:27 | |
| istgame-doc.tex | 30.8 KiB | 2022-Mar-22 20:39 | |
| istgame.sty | 117.6 KiB | 2022-Mar-22 14:25 | |
| istgame-doc-v2.1.tex | 284.6 KiB | 2022-Mar-22 14:33 | |
| istgame-doc.pdf | 789.8 KiB | 2022-Mar-22 14:35 | |