-
Alexandre Duret-Lutz authored
an undeclared acceptance condition. * src/tgbaalgos/save.cc (print_acc): Unquote atomic propositions.
5d0f7023
To find the state of this project's repository at the time of any of these versions, check out the tags.