-
Alexandre Duret-Lutz authored
* src/misc/Makefile.am (misc_HEADERS, libmisc_la_SOURCES): Add them. * src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Use minato_isop.
c317154d
To find the state of this project's repository at the time of any of these versions, check out the tags.