-
* data/automata/char-zmin/slowbig.cc, data/automata/char-zmax/maxblocka.cc: New files. * data/automata/char-zmin/Makefile.am, data/automata/char-zmax/Makefile.am: Adjust. * data/automata/char-zmin/minab.cc, data/automata/char-zmax/maxab.cc: Fix reference to ETA.
bc06418a
To find the state of this project's repository at the time of any of these versions, check out the tags.