diff --git a/ChangeLog b/ChangeLog index b8a91fb6b..5a42e5118 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2010-02-02 Alexandre Duret-Lutz + + * wrap/python/cgi-bin/ltl2tgba.in: Reword description of svg_output. + 2010-02-02 Alexandre Duret-Lutz Add SVG output and language containment options to the cgi script. diff --git a/wrap/python/cgi-bin/ltl2tgba.in b/wrap/python/cgi-bin/ltl2tgba.in index 2111bd501..3e3692ac0 100755 --- a/wrap/python/cgi-bin/ltl2tgba.in +++ b/wrap/python/cgi-bin/ltl2tgba.in @@ -253,7 +253,7 @@ options_common = [ ('show_degen_png', 'draw degeneralized Büchi automaton', 0), ('show_never_claim', 'output Spin never claim', 0), ('show_lbtt', 'convert automaton for LBTT', 0), - ('svg_output', 'draw automata in SVG instead of PNG' + new, 0), + ('svg_output', 'render automata in SVG instead of PNG' + new, 0), ] options_reduce = [ ('reduce_basics', 'basic rewritings', 1),