-
Alexandre Duret-Lutz authored
* spot/kripke/kripkegraph.hh, spot/twa/twagraph.hh: Call is_valid_edge() instead. * NEWS: Mention the renaming.
a6afaf3d
To find the state of this project's repository at the time of any of these versions, check out the tags.