ProM Lite 1.2 release

The current Release Candidate corresponds to Revision 36154 (core components). Some packages may have different Revisions.

Updates

November 5, 2018

  • Added ModelRepair and Uma packages.

July 17, 2017

  • ProM Lite 1.2-beta

July 14, 2017

  • Removed “-XX:+UseCompressedOops” from the bat files. Some Java VMs choke on this option, and as from Java 7 this setting is default.

June 27, 2017

  • Fixed issue with bat files for installers that include a JRE.

First steps

Please see the First steps section of ​the ProM 6 installation page.