alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* wrap/python/cgi-bin/ltl2tgba.in: Reword description of svg_output.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2010-02-02 18:28:13 +01:00
parent 72ae820b0c
commit bc61ca73c6
2 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2010-02-02 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* wrap/python/cgi-bin/ltl2tgba.in: Reword description of svg_output.
2010-02-02 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2010-02-02 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Add SVG output and language containment options to the cgi script. Add SVG output and language containment options to the cgi script.

2
wrap/python/cgi-bin/ltl2tgba.in
View file

@ -253,7 +253,7 @@ options_common = [
('show_degen_png', 'draw degeneralized B&uuml;chi automaton', 0), ('show_degen_png', 'draw degeneralized B&uuml;chi automaton', 0),
('show_never_claim', 'output Spin never claim', 0), ('show_never_claim', 'output Spin never claim', 0),
('show_lbtt', 'convert automaton for LBTT', 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 = [ options_reduce = [
('reduce_basics', 'basic rewritings', 1), ('reduce_basics', 'basic rewritings', 1),