-
* 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.
* 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.
Loading