Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
wrap
python
spot.i
Find file
Blame
History
Permalink
ltl2tgba.html: Use the new degeneralization routine.
· 141baae5
Alexandre Duret-Lutz
authored
Jun 26, 2012
* wrap/python/spot.i: Export degeneralize(). * wrap/python/ajax/spot.in: Use it.
141baae5