-
Maximilien Colange authored
* bin/genltl.cc, spot/gen/formulas.cc, spot/gen/formulas.hh: Implement it. * tests/core/genltl.test: Test it. * NEWS: Document it.
1689c08e
* bin/genltl.cc, spot/gen/formulas.cc, spot/gen/formulas.hh: Implement it. * tests/core/genltl.test: Test it. * NEWS: Document it.