-
Alexandre Duret-Lutz authored
* src/tgbaalgos/simulation.hh: Mention the fact that this is a "direct" simulation. * wrap/python/ajax/ltl2tgba.html: Likewise, and change the key to "ds". * wrap/python/ajax/protocol.txt, wrap/python/ajax/spot.in: Adjust.
7ba4ab79