Name Last modified Size Parent Directory - istgame.ist 2017-09-26 05:37 635 istgame.sty 2022-03-22 23:25 118K istgame-doc-v2.1.tex 2022-03-22 23:33 285K istgame-doc.pdf 2022-03-22 23:35 790K istgame-doc.tex 2022-03-23 05:39 31K