-
Alexandre Duret-Lutz authored
documentation for iface/. * dox/mainpage.dox: Fix reference to ltl_to_tgba. * src/ltlenv/environment.hh: Typo.
c2892a82
documentation for iface/. * dox/mainpage.dox: Fix reference to ltl_to_tgba. * src/ltlenv/environment.hh: Typo.