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