Yesterday, ProM Lite 1.3-alpha has been released. Details (including downloads) can be found on the ProM trac site.
ProM Lite 1.3 will be the first ProM release that allows the user to use multiple ProM pacakage repositories. When starting, ProM will determine which repository reacts the fastest, and will use that repository for the remainder of the ProM session.For example, this allows users at QUT in Brisbane to use a package repository hosted by the QUT rather than the package repository hosted by the TUE.
For this change, the package repository needed to change, as a result of which the earlier versions of ProM Lite cannot use the package repository of ProM Lite 1.3.