===== Workcraft v3.1.7 (2017-11-01) =====

=== Usability improvements ===
  * Scripting is significantly improved, see [[:help:scripting|Scripting interface]] documentation for details.
    * Sriptable verification commands.
    * Automatic generation of wrapper JavaScript functions for scriptable Workcraft commands.
    * Textual description is added for all JavaScript helper functions. These can be searched with ''help(substring)'' (in the function names) and ''apropos(substring)'' (in the names and descriptions).
    * Plugin-specific JavaScript wrapper functions.
    * Workcraft core JavaScript wrapper functions are split into categories.
    * Predefined variables are created for the current work: ''workspaceEntry'', ''visualModel'', ''mathModel''.
  * Workcraft full version in logged in the exported text files.


=== Model and tool plugins ===
  * Finite State Machine and Finite State Transducer plugins
    * Flexible positioning/orientation of the initial state marker.

  * Signal Transition Graph plugin
    * Improved mutex place implementability check. Now "early release" version of the arbitration protocol is also allowed.

  * Digital Circuit plugin
    * Separate commands for conversion of Circuit to STG with and without environment composition.

=== Fixes and technical stuff ===
  * Updated Plato backend for circuit specification using Concepts DSL.
  * Updated Batik libraries to v1.9.1. A minimal required set of JAR files is determined to reduce the distribution size. Static and dynamic dependencies are documented in ''ThirdParty/batik/README.md''.
  * Improved and structured integration test engine.
  * New integration tests for transformation, conversion, synthesis, verification, and statistics commands.
  * Testing coverage is increased from 35% to 41%.
  * Updated help files for scripting interface and global preferences.
  * Updated tutorial on Petri nets.