-
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
* 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.