-
Alexandre Duret-Lutz authored
* wrap/python/ajax/ltl2tgba.html: Revamp the syntax table to include PSL operators. * wrap/python/ajax/css/ltl2tgba.css: Adjust CSS as needed.
266bd25b
* wrap/python/ajax/ltl2tgba.html: Revamp the syntax table to include PSL operators. * wrap/python/ajax/css/ltl2tgba.css: Adjust CSS as needed.