Eric Verbeek just send the following message tot the ProM Developers mailing list:

Dear all,

This morning, I’ve released ProM 6.1, which can be downloaded from either http://www.promtools.org/prom6 or https://svn.win.tue.nl/trac/prom/wiki/rel61:release.

Compared to the prerelease, only some changes were made:
-    UITopia has been updated.
-    RuntimeLTLChecker has been replaced by MoBuConLTL.
-    TestBed has been removed.
-    Cosimulation, CPnet, Declare, DeclareMiner, DottedChart, InteractiveVisualization, KeyValue, LogDialog, LTLChecker, OperationalSupport, OSEmbedder, PatternAbstractions, PNAnalysis, Replayer, Uma, Widgets, and XQueryProvider have been updated.

Please note that the ProM.ini file of the release uses a different PACKAGE_URL than the development versions (a.k.a. nightly builds), (http://www.promtools.org/prom6/packages61/packages.xml instead of http://www.promtools.org/prom6/packages/packages.xml), and that it also uses a different default PROM_USER_FOLDER (.ProM61 instead of .ProM). As a result, it is possible to use the nightly builds and the release on the same computer (they do not share any packages by default). It is, however, possible to install development versions of packages by replacing the release PACKAGE_URL by the development PACKAGE_URL in the ProM.ini file.

Cheers,

Eric.

P.S. The ProM 6.0 release is still accessible through http://www.promtools.org/prom6/prom60.html.