History

0.0.3 (2021-06-17)

• add references
• change docs website
• update ltlf2dfa to version v1.0.1
• update online version at fond4ltlf

0.0.2 (2020-07-10)

• structure refactoring
• enhance parsing
• introduce testing
• introduce Continuous Integration
• update ltlf2dfa to version 1.0.1
• update online version at fond4ltlfpltlf

0.0.1 (2020-03-20)

• online version at fond4ltlfpltlf
• update ltlf2dfa version