Skip to content
  • Alexandre Duret-Lutz's avatar
    Add more ltl3ba options. · bfc66824
    Alexandre Duret-Lutz authored
    * wrap/python/ajax/ltl2tgba.html, wrap/python/ajax/protocol.txt:
    Add options 'o' and 'p'.
    * wrap/python/ajax/spot.in: Handle these, and use '-v' to check
    version.
    bfc66824