-
Alexandre Duret-Lutz authored
Fixes #306. * spot/tl/formula.hh, python/spot/__init__.py: Implement this in C++ and Python. * doc/org/tut03.org: Document (and indirectly test) it. * NEWS: Mention it.
7b2517a5
To find the state of this project's repository at the time of any of these versions, check out the tags.