-
Alexandre Duret-Lutz authored
* wrap/python/ajax/ltl2tgba.html, wrap/python/ajax/protocol.txt: Add options 'o' and 'p'. * wrap/python/ajax/spot.in: Handle these, and use '-v' to check version.
bfc66824
* wrap/python/ajax/ltl2tgba.html, wrap/python/ajax/protocol.txt: Add options 'o' and 'p'. * wrap/python/ajax/spot.in: Handle these, and use '-v' to check version.