-
Alexandre Duret-Lutz authored
* src/tgbaalgos/dotty.cc (process_link): Call transition_annotation(). Reported by Nikos Gorogiannis. * src/tgba/tgba.hh (transition_annotation): More documentation.
3010d705
To find the state of this project's repository at the time of any of these versions, check out the tags.