../ README.txt 11-Jul-2018 16:12 763 stoneipa.dtx 11-Jul-2018 15:46 9270 stoneipa.ins 11-Jul-2018 12:43 1414 stoneipa.pdf 11-Jul-2018 15:46 94924