********************* viewers 1.0.0 (2023/10/13) **********************

This is the first standalone release of the viewers toolset developed
by the Formal Methods for System and Software Design
(https:://fm.fbk.eu) unit at Fondazione Bruno Kessler
(https://fbk.eu).

It includes:

 - Trace viewer: to display traces

 - Fault Tree viewer: to display fault trees

 - TFPG viewer: to display TFPGs

----------------------------------------------------------------------
* New features
----------------------------------------------------------------------

----------------------------------------------------------------------
*  Bug fixes
----------------------------------------------------------------------

----------------------------------------------------------------------
*  Documentation
----------------------------------------------------------------------

Documentation is available in pdf format.

----------------------------------------------------------------------
* Source Code
----------------------------------------------------------------------
