-
Alexandre Duret-Lutz authored
* wrap/python/ajax/ltl2tgba.html: Add a dedicated tab with two columns of options. * wrap/python/ajax/css/ltl2tgba.css: Support for two columns. * wrap/python/ajax/protocol.txt: Document new options. * wrap/python/ajax/spot.in: Handle the new options. * wrap/python/ajax/Makefile.am: Substitude LTL3BA in spot.in.
988e7e24