Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
wrap
python
ajax
spot.in
Find file
Blame
History
Permalink
ltl2tgba.html: Add testing automata options.
· 852cd0d5
Alexandre Duret-Lutz
authored
Jun 26, 2012
* wrap/python/ajax/ltl2tgba.html, wrap/python/ajax/protocol.txt, wrap/python/ajax/spot.in: Here.
852cd0d5