alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* doc/Makefile.am (doc): Typo.

Browse source 
* 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.
This commit is contained in:
Alexandre Duret-Lutz 2003-06-26 14:27:14 +00:00
parent 483507f16e
commit 0b3d2c1325
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ChangeLog
View file

@ -3,6 +3,8 @@
* doc/Makefile.am (doc): Typo. * doc/Makefile.am (doc): Typo.
* src/ltlvisit/tostring.hh (to_string): Add doxygen comments. * src/ltlvisit/tostring.hh (to_string): Add doxygen comments.
* src/ltlast/multop.hh (multop::paircmp): 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/ltlvisit/postfix.hh: Typo.
* src/ltlast/Makefile.am (ltlastdir, ltlast_HEADERS): New variables. * src/ltlast/Makefile.am (ltlastdir, ltlast_HEADERS): New variables.