-
Alexandre Duret-Lutz authored
* wrap/python/ajax/ltl2tgba.html: Mention Goal's ~, -->, and <--> operators. * wrap/python/cgi-bin/ltl2tgba.in: Likewise.
caaf0a80
To find the state of this project's repository at the time of any of these versions, check out the tags.