| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| README.txt | 971 | 22-Mar-2022 14:27 |
| istgame-doc-v2.1.tex | 285K | 22-Mar-2022 14:33 |
| istgame-doc.pdf | 790K | 22-Mar-2022 14:35 |
| istgame-doc.tex | 31K | 22-Mar-2022 20:39 |
| istgame.ist | 635 | 25-Sep-2017 20:37 |
| istgame.sty | 118K | 22-Mar-2022 14:25 |