===== Workcraft v3.0.8 (2016-01-30) =====

=== Usability improvements ===
  * 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.

=== Model and tool plugins ===
  * Signal Transition Graph plugin
    * Net synthesis tool for hiding selected dummies and signals is added to the //Conversion// menu.
    * Tools for transformations of place proxies are added to the //Transformations// menu.
    * A tool for transition contraction is added to the //Transformations// menu.

  * Conditional Partial Order Graph plugin
    * Interface to PGMiner tool in revised.
    * Improved text entry of CPOGs.
    * In-place editor for vertex labels.

=== Fixes and technical stuff ===
  * UnfoldingTools (Punf, MPSat and PComp) are updated to the latest version.
  * Batik is updated to version 1.8.
  * FlexDock is updated to version 1.2.4.
  * The standard Desktop API is replaced by internal (more robust) implementation.
  * Refactoring of Petrify transform task.
  * New Punf is used now for both PNML and MCI unfoldings.