• Alexandre Duret-Lutz's avatar
    Cache dot sources in the CGI script. · 155ba42c
    Alexandre Duret-Lutz authored
    * wrap/python/ajax/spot.in (render_dot, render_dot_maybe)
    (render_automaton, render_formula): Cache the dot source, so that
    we do not have to regenerate two pictures from the same contents.
    * wrap/python/spot.i: Typo in the ostringstream declaration.
To find the state of this project's repository at the time of any of these versions, check out the tags.
ChangeLog 374 KB