Skip to content
  • Alexandre Duret-Lutz's avatar
    doxygen doc: minor improvements · 49b76bcf
    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