ProM website moved

On Monday April 16, 2018, the ProM website has been moved to a new server. ProM users and website users should not really notice any change. All contents have been migrated. Cron job for keeping the package repository up-to-date has been changed. Also required an svn upgrade of the package repository. Cron job for updating … [Read more…]