-
David Moreira authored
* data/automata/char-b/divkbaseb.cc, * data/automata/char-b/double_ring.cc, * data/automata/char-b/ladybird.cc, * data/automata/char-f2/ring.cc, * data/automata/char-fmp-b/Makefile.am, * data/automata/char-fmp-b/quotkbaseb.cc: Some bugs corrected. * taf-kit/src/library_commands.hh, * taf-kit/src/main.cc: Minor changes.
85cb5457
To find the state of this project's repository at the time of any of these versions, check out the tags.