• Alexandre Duret-Lutz's avatar
    Updates to the ltl2tgba ajax version. · f3c6f01e
    Alexandre Duret-Lutz authored
    * wrap/python/ajax/ltl2tgba.html: Remove the auto-update button, and
    enable auto-update automatically after the first submission.  Add
    tools tips for the "Desired Output" tabs, and the Spot logo.
    Add a email icon to encourage feedback.
    * wrap/python/ajax/ltl2tgba.css: fix sizes of formula field and
    send button.  Set position of mail icon.
    * wrap/python/ajax/logos/mail.png: New logo, based on a public
    domain SVG icon retrieved today from
To find the state of this project's repository at the time of any of these versions, check out the tags.
ChangeLog 342 KB