-
Alexandre Duret-Lutz authored
* doc/footer.html: Make the footer XML compatible. * doc/mainpage.dox: Fix references to modules. * spot/tl/formula.hh: Introduce a hierarchy module. * spot/tl/hierarchy.hh: Use it.
49b76bcf
* doc/footer.html: Make the footer XML compatible. * doc/mainpage.dox: Fix references to modules. * spot/tl/formula.hh: Introduce a hierarchy module. * spot/tl/hierarchy.hh: Use it.