-
Alexandre Duret-Lutz authored
2004-08-23. Some of these will need to be reintegrated more slowly and cleanly. * src/tgbaalgos/Makefile.am, src/tgbaalgos/gtec/ce.cc, src/tgbaalgos/gtec/ce.hh, src/tgbatest/Makefile.am, src/tgbatest/emptchk.test, src/tgbatest/ltl2tgba.cc: Revert. * src/tgbaalgos/colordfs.cc, src/tgbaalgos/colordfs.hh, src/tgbaalgos/minimalce.cc, src/tgbaalgos/minimalce.hh, src/tgbaalgos/nesteddfs.cc, src/tgbaalgos/nesteddfs.hh, src/tgbaalgos/nesteddfsgen.cc, src/tgbaalgos/nesteddfsgen.hh, src/tgbaalgos/tarjan_on_fly.cc, src/tgbaalgos/tarjan_on_fly.hh: Delete.
ed6db926