===== Workcraft v3.5.2 (2025-01-09) =====

=== Usability improvements ===

  * Improve save and load of global preferences with sorting the settings and warnings on unrecognised groups and keys
  * Support for multiple additional config with several ''-config-add:'' command line options
  * Automatically create missing directories when saving ''.work'' files with a path
  * Revise the use of fonts: Plain Sans Serif for node Names (similar to IDs) and Italic Sans Serif for Labels (similar to comments)
  * Add help page to explain //Early// and //Late// Mutex protocols


=== Model and tool plugins ===

  * Digital Circuit plugin
    * Optimise reset insertion for mapped gates trying to replace the gate with a larger one that accommodates reset function
    * Reduce clutter for inserted reset and scan networks by making use of proxy contacts
    * Hide fanout count for library gates in //Tool controls// of //Function Component// tool
    * Hide irrelevant properties //Avoid init//, //Render type//, and //Treat as environment// for zero delay components
    * Add structural checks for new connection with zero delay buffers and inverters
    * Improve rendering of Boolean formula by compressing glyphs for operators and using the same font as for contact names


  * Signal Transition Graph plugin
    * Clean up //Transformation// menu by removing transition insertion and contraction commands (these are still available in contextual popup menu)
    * Add command for transition splitting via contextual popup menu
    * Add initial state check to the verification of mutex place implementability


=== Fixes and technical stuff ===

  * Sanity check for command line options
  * Update build system to Gradle v8.10.2, CheckStyle v10.18.2, JUnit v5.11.3
  * Update minimalistic build of Apache Batik to v1.18
  * Fix Null-pointer exception when generating Circuit-STG for undriven zero-delay components