-
Alexandre Duret-Lutz authored
* src/taalgos/dotty.cc: Clean up output of TAs. * src/tgbatest/ltl2tgba.cc: Fix memory management, and use the TA printer for TGTA. * wrap/python/spot.i (as_ta): New function to convert a tgta_explicit into a TA. * wrap/python/ajax/spot.in: Use this new function to display automata.
d4130f15