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