Version 1.0 - A new version of the tool (15.1-2002)
              Starting from this version the semantics of LTL
              are defined over finite words for deadlocking
              executions.
              Also this is the first version which forces all
              idling to happen at the first steps of the execution.

Version 0.9 - First public beta version (5.4-2001)
