I didn't see an ISO for the current version of proTeXt. There's no mention of it on the web page <http://www.tug.org/protext/>. The situation had been in flux for a while, just now resolved. Happily, now the ISO's are available from a couple of sites, including Thomas'. I added links to the web page. Thanks, karl