diff --git a/ChangeLog b/ChangeLog index 33500bd09..9ee7d42ea 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,9 @@ 2004-02-02 Alexandre Duret-Lutz + * wrap/python/cgi/ltl2tgba.in (default_translator): Default + to trans_fm. + (translators): Show trans_fm before trans_lacim. + * wrap/python/cgi/ltl2tgba.in (print_stats): New function. Call it to display the size of the generalized and degeneralized automata. diff --git a/wrap/python/cgi/ltl2tgba.in b/wrap/python/cgi/ltl2tgba.in index 67e72f06f..98fed6924 100644 --- a/wrap/python/cgi/ltl2tgba.in +++ b/wrap/python/cgi/ltl2tgba.in @@ -103,10 +103,10 @@ options = [ ('show_lbtt', 'convert automaton for LBTT', 0), ] -default_translator = 'trans_lacim'; +default_translator = 'trans_fm'; translators = [ - ('trans_lacim', 'Convreur/LaCIM'), ('trans_fm', 'Convreur/FM'), + ('trans_lacim', 'Convreur/LaCIM'), ] print """