../ README.txt 26-Jul-2025 19:34 971 istgame-doc-v2.1.tex 26-Jul-2025 19:34 291467 istgame-doc.pdf 26-Jul-2025 19:34 808805 istgame-doc.tex 26-Jul-2025 19:34 31586 istgame.ist 26-Jul-2025 19:34 635 istgame.sty 26-Jul-2025 19:34 120403