• Alexandre Duret-Lutz's avatar
    * doc/Makefile.am (doc): Typo. · 0b3d2c13
    Alexandre Duret-Lutz authored
    * src/ltlvisit/tostring.hh (to_string): Add doxygen comments.
    * src/ltlast/multop.hh (multop::paircmp): Add doxygen comments.
    * src/tgba/tgbaexplicit.hh (tgba_explicit::transtion,
    state_explicit, tgba_explicit_succ_iterator): Add doxygen comments.
    * src/ltlvisit/postfix.hh: Typo.
    0b3d2c13
To find the state of this project's repository at the time of any of these versions, check out the tags.
ChangeLog 36.3 KB