Export of visual model into PDF, PS and PNG formats.
Config files are now saved in .workcraft directory of the user home thus making configuration user-specific.
Configurable alignment of the text in a comment box (left centre or right).
Possibility to redirect stdout and stderr output of backend tools into the Output tab. This is configurable in global settings (Edit→Preferences…) individually for Petrify, Punf and MPSat.
Colouring of [INFO], [WARNING] and [ERROR] log entries. Highlighting stdout and stderr output of the backend tools. The colours are configurable in Common→Log section of global settings.
Advanced mode for running backend tools (currently MPSat and Petrify) can be switched on in the corresponding tool global settings. In this mode the additional command line parameters are requested every time the backend tool is called.
Hierarchy separator / and flat name separator __ can be changed in Common→Editor section of global settings.
Sections are introduced to better organised Conversion, Transformations, Verification and Synthesis menus.
Automated generation of a popup menu for transformation actions applicable to a specific node type. This is accessible via right-click of the mouse on nodes and arcs.
A transformation tool to straighten all or selected arcs.