Skip to content
  • Alexandre Duret-Lutz's avatar
    Preliminary work on integrating LTL3BA in ltl2tgba.html. · 988e7e24
    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