Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
wrap
python
spot.i
Find file
Blame
History
Permalink
* wrap/python/spot.i: Process tgbaalgos/neverclaim.hh.
· 0c3d4fef
Alexandre Duret-Lutz
authored
Apr 21, 2004
* wrap/python/cgi/ltl2tgba.in: Display the never claim on demand.
0c3d4fef