TAPAAL 3.9.5

Written for TAPAAL by Jiri Srba on 2023-02-24

We are happy to announce the release of TAPAAL 3.9 that contains

    * a bug fix for zooming when changing tabs
    * fixes issues with boundeness check and with running some of the example nets, and
    * distributed an updated verifytapn (continuous time) verification engine.