Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
ChangeLog
Find file
Blame
History
Permalink
* wrap/python/cgi/ltl2tgba.in, wrap/python/spot.i: Add a new
· 58d6b791
Damien Lefortier
authored
Jan 25, 2010
translation algorithm: Tauriainen/TAA.
58d6b791
To find the state of this project's repository at the time of any of these versions, check out
the tags
.