Skip to content
  • Alexandre Duret-Lutz's avatar
    ltl2tgba.html: Provide a link to an SVG output. Suggested by Denis. · 5ce59c01
    Alexandre Duret-Lutz authored
    Because this means we are running dot twice, I have added a flag that
    will allow us to easily turn this off, should it prove too slow.
    
    * wrap/python/ajax/spot.in (output_both): New variable.
    (run_dot): New function, extracted from ...
    (render_dot): ... here.  Adjust to call run_dot for all needed format.
    And ajust the output accordingly.
    5ce59c01