• Alexandre Duret-Lutz's avatar
    * doc/Makefile.am (doc): Typo. · 483507f1
    Alexandre Duret-Lutz authored
    * src/ltlvisit/tostring.hh (to_string): Add doxygen comments.
    * src/ltlast/multop.hh (multop::paircmp): Add doxygen comments.
    * src/ltlvisit/postfix.hh: Typo.
    483507f1
tostring.hh 568 Bytes