do you plan a new release of ProTeXt and, if so, when should it be available? We (user groups) are hoping to finalize the release of proTeXt (and TeX Live, etc.) sometime in October. For instance, a new version of TeXnicCenter is available and it could be great to include it in ProTeXt. I hope Thomas can arrange to update it. Thanks for mentioning it. Best, Karl