===== Workcraft v3.0.5 (2015-08-03) =====

=== Usability improvements ===
  * Updated Look and Feel with SilverOcean theme. Adjustment of the PropertyEditor and simulation tables to the new look and feel. Nested sub-menus aligned with other menu items.
  * Frequently used sub-menues of //Tools// menu, such as //Transformations//, //Verification//, //Synthesis// and //Encoding// are promoted to the main menu bar.
  * Property editor is made invisible in simulation mode.

=== Model and tool plugins ===
  * Digital Circuit plugin
    * Import of gate libraries from GenLib file (petrify.lib).
    * Import from Verilog netlists and its mapping into the gates of GenLib library.
    * Export to Verilog netlist.
    * Joint generator is removed from Digital Circuit plugin to avoid confusion on how to create wire forks. Now forks can be created by starting a connection from an existing wire - a joint point will be automatically inserted.
    * Automated conversion of Petrify synthesis results into a circuit work.

  * Conditional Partial Order Graph plugin
    * Integration of //PG miner// tool under //Tools->Concurrency extraction// menu.
    * Interface to different modes of //ScEnco// tool under //Encoding// menu.

  * Dataflow Structures plugin
    * Preserve token color on copying the simulation state to the initial state of DFS model. 
    * Improved cycle analysis interface.

=== Fixes and technical stuff ===
  * PCOMP is updated to version 3.01beta.
  * ScEnco tool is updated to version 1.1.1.
  * PGMiner tool is included in the distribution.
  * Fix for connection geometry re-calculation on un-collapsing a container group.
  * Fix for copy-pasting collapsed groups.
  * Use of string constants for property names in all plugins.
  * Proper refresh of the PropertyEditor title.
  * Tool sections that start with "!" are promoted to the main menu.
  * Possibility to rename properties.
  * Undo for in-place editing of Comments and STG transitions.