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.

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.