-
Alexandre Duret-Lutz authored
* wrap/python/ajax/ltl2tgba.html: Mention Goal's ~, -->, and <--> operators. * wrap/python/cgi-bin/ltl2tgba.in: Likewise.
caaf0a80
* wrap/python/ajax/ltl2tgba.html: Mention Goal's ~, -->, and <--> operators. * wrap/python/cgi-bin/ltl2tgba.in: Likewise.