Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
wrap
python
cgi
ltl2tgba.in
Find file
Blame
History
Permalink
* wrap/python/cgi/ltl2tgba.in: Pass the formula to
· 9a8d554f
Alexandre Duret-Lutz
authored
Apr 21, 2004
never_claim_reachable, and cgi.escape its output. Lighten the color a bit.
9a8d554f