Today, we have released both ProM Lite 1.1 and ProM 6.6.
ProM Lite 1.1 is the successor of ProM Lite “AluM”, which was released in February of this year. ProM Lite 1.1 contains some improvements to the core (“framework”) of ProM. Please see here for the details. Apart from the core, several ProM Lite packages have also been improved. Please see here for the details. Nevertheless, these improved packages can also be used using the ProM Lite “AluM” release. If you are using ProM Lite “AluM”, then the same set of packages is available to you as if you were using ProM Lite “AluM”.
Note that in ProM Lite (both 1.1 and ”AluM”) new updates for packages may appears from time to time (which will have been tested thoroughly by us), and you will be asked whether or not to update to these new versions.
ProM 6.6 is the successor of ProM 6.5.1, which was released in 2015. Like ProM 6.5.1, there will be no updates to packages in the ProM 6.6 release. As such, this is an immutable release which can hence be used in your publications. If it works today in ProM 6.6, it will work exactly the same tomorrow. Note that for ProM Lite this does not hold, as tomorrow it may work better :-). Like ProM Lite 1.1, ProM 6.6 contains improvements to the core of ProM. See here for the details. Furthermore, many packages have also been improved. See here for details.
Both ProM Lite 1.1 and ProM 6.6 can now be downloaded from here (note that we’re still working on the Mac bundles, they will follow shortly).