-
Alexandre Duret-Lutz authored
* src/ltlvisit/dotty.cc: Display "L" and "R" tail-labels for binary operators. Gather all constants and atomic propositions in a sub-graph with "rank=sink".
4087d37f
To find the state of this project's repository at the time of any of these versions, check out the tags.