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