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 the Nightly Build has been changed.
    • Also required an svn upgrade of the package repository.
  • Added ~~NOCACHE~~ to the Nightly Build page to avoid it using the cache.
  • Allowed directory listings (like on the old server).
  • Tested with a browser, ProM 6.8-alpha, and a recent Nightly Build.

Leave a Reply