Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
ChangeLog
Find file
Blame
History
Permalink
* wrap/python/cgi/ltl2tgba.in (print_stats): Compute and display
· 59125b2a
Alexandre Duret-Lutz
authored
Feb 02, 2004
the number of acceptance conditions.
59125b2a
To find the state of this project's repository at the time of any of these versions, check out
the tags
.