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