-
Alexandre Duret-Lutz authored
documentation for iface/. * dox/mainpage.dox: Fix reference to ltl_to_tgba. * src/ltlenv/environment.hh: Typo.
c2892a82
To find the state of this project's repository at the time of any of these versions, check out the tags.