ProM 6.5.1a Released
On October 16, 2015, ProM 6.5.1a has been released. ProM 6.5.1a is a service release for ProM 6.5.1. Basically, ProM 6.5.1a fixes some bugs in some packages, but uses the same framework as ProM 6.5.1 does.
Installation
ProM 6.5.1a can be installed over an existing ProM 6.5.1 installation by replacing the old ProM.ini file with a new ProM.ini.