diff --git a/ChangeLog b/ChangeLog index b302e884c..2a0db491b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2004-05-04 Alexandre Duret-Lutz + + * wrap/python/cgi/ltl2tgba.in: Fix output HTML. + 2004-05-03 Alexandre Duret-Lutz * src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Clone and then diff --git a/wrap/python/cgi/ltl2tgba.in b/wrap/python/cgi/ltl2tgba.in index 85e00a9ab..47f1658d8 100644 --- a/wrap/python/cgi/ltl2tgba.in +++ b/wrap/python/cgi/ltl2tgba.in @@ -244,7 +244,7 @@ means G(F(a)). Use "GFa" if you really want to refer to GFa as a proposition.
Conversly, infix letter operators are not assumed to be operators if they are part of an indentifier: aUb is an atomic proposition, unlike -a U b and (a)U(b)
+a U b and (a)U(b)

@@ -297,7 +297,7 @@ an indentifier: aUb is an atomic proposition, unlike -

""" +""" column = [[], []] @@ -331,12 +331,11 @@ for opt, desc, color in translators: else: str = "" globals()[opt] = str - s = '%s' + s = \ + '%s' column[0].append(s % (color, opt, str, desc)) add_options('', 0, color, globals()['options_' + opt]) -print """""" - add_options("Common Options", 1, '', options_common) add_options("Debugging Options", 1, '', options_debug)