Alexandre Duret-Lutz authored
This was never actually used and we have a new implementation of alternating automata coming. * src/saba/, src/sabaalgos/, src/sabatest/: Remove. * src/Makefile.am, configure.ac, README: Adjust. * NEWS: Mention it.51fe5108
To find the state of this project's repository at the time of any of these versions, check out the tags.