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