Skip to content
  • Alexandre Duret-Lutz's avatar
    cgi: improve documentation · 66c77f58
    Alexandre Duret-Lutz authored
    * wrap/python/ajax/ltl2tgba.html: Augment and update tooltips to match
    vocabulary in the Spin'13 paper.  Hide the compose obligation option
    since it's a work in progress.
    66c77f58