-
Alexandre Duret-Lutz authored
* wrap/python/ajax/ltl2tgba.html: Add a checkbox and some code to keep it consistent with the basic rewriting checkbox. * wrap/python/ajax/spot.in: Deal with the new option. * wrap/python/ajax/protocol.txt: Document it.
bdeb87a6