-
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.
3a5eec42
To find the state of this project's repository at the time of any of these versions, check out the tags.