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