-
Alexandre Duret-Lutz authored
* NEWS: Mention it. * src/ltlvisit/lbt.cc: Instead of outputting a space after each node, output one before each node but the first one.
Alexandre Duret-Lutz authored* NEWS: Mention it. * src/ltlvisit/lbt.cc: Instead of outputting a space after each node, output one before each node but the first one.
To find the state of this project's repository at the time of any of these versions, check out the tags.
Loading