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