pomsets-gui 1.0.8 released
0 views
Skip to first unread message
michael j pan
May 24, 2010, 4:33:20 AM5/24/10
to pomsets-an...@googlegroups.com
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.
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.
Reply all
Reply to author
Forward
0 new messages