http://www.pomsets.org/Release/pomsets-gui-1.0.8
Changelog:
* add ability to reset execution for a pomset
* add ability for users to stop execution
* changes to update application menu items upon execution status updates
This release requires the pomsets-core 1.0.7, which was simultaneously released.