-
Alexandre Duret-Lutz authored
Fixes #86. * src/ltlvisit/lbt.hh, src/ltlvisit/lbt.cc: Delete and move contents into... * src/ltlvisit/tostring.hh, src/ltlvisit/tostring.cc: ... these. * doc/org/tut01.org, src/bin/common_output.cc, src/bin/common_trans.cc, src/bin/ltlcross.cc, src/ltlvisit/Makefile.am, src/twaalgos/lbtt.cc, wrap/python/spot_impl.i: Adjust.
aedce810