From 0b3d2c1325cf6cda89d4e39f064f561845b99ac4 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 26 Jun 2003 14:27:14 +0000 Subject: [PATCH] * doc/Makefile.am (doc): Typo. * 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. --- ChangeLog | 2 ++ 1 file changed, 2 insertions(+) diff --git a/ChangeLog b/ChangeLog index 5dc0d663f..c1d9cc9aa 100644 --- a/ChangeLog +++ b/ChangeLog @@ -3,6 +3,8 @@ * doc/Makefile.am (doc): Typo. * 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. * src/ltlast/Makefile.am (ltlastdir, ltlast_HEADERS): New variables.