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

* wrap/python/cgi/ltl2tgba.in: Fix output HTML.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2004-05-04 07:33:12 +00:00
parent ca80561ad5
commit b052e92537
2 changed files with 8 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2004-05-04 Alexandre Duret-Lutz <adl@src.lip6.fr>
* wrap/python/cgi/ltl2tgba.in: Fix output HTML.
2004-05-03 Alexandre Duret-Lutz <adl@src.lip6.fr> 2004-05-03 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Clone and then * src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Clone and then

9
wrap/python/cgi/ltl2tgba.in
View file

@ -244,7 +244,7 @@ means <code>G(F(a))</code>. Use <code>"GFa"</code> if you really want
to refer to <code>GFa</code> as a proposition.<br>Conversly, infix to refer to <code>GFa</code> as a proposition.<br>Conversly, infix
letter operators are not assumed to be operators if they are part of letter operators are not assumed to be operators if they are part of
an indentifier: <code>aUb</code> is an atomic proposition, unlike an indentifier: <code>aUb</code> is an atomic proposition, unlike
<code>a&nbsp;U&nbsp;b</code> and <code>(a)U(b)</code><br> <code>a&nbsp;U&nbsp;b</code> and <code>(a)U(b)</code></p>
<table border="1"><tr><td> <table border="1"><tr><td>
<table border="0" rules="groups" frame="void" cellpadding="3" cellspacing=0> <table border="0" rules="groups" frame="void" cellpadding="3" cellspacing=0>
@ -297,7 +297,7 @@ an indentifier: <code>aUb</code> is an atomic proposition, unlike
</tr> </tr>
</tbody> </tbody>
</table></td></tr></table></p>""" </table></td></tr></table>"""
column = [[], []] column = [[], []]
@ -331,12 +331,11 @@ for opt, desc, color in translators:
else: else:
str = "" str = ""
globals()[opt] = str globals()[opt] = str
s = '<TD bgcolor=%s><INPUT type="radio" name="trans" value="%s" %s>%s</TD>' s = \
'<TD bgcolor="%s"><INPUT type="radio" name="trans" value="%s" %s>%s</TD>'
column[0].append(s % (color, opt, str, desc)) column[0].append(s % (color, opt, str, desc))
add_options('', 0, color, globals()['options_' + opt]) add_options('', 0, color, globals()['options_' + opt])
print """</TD></TR></TABLE><TABLE>"""
add_options("Common Options", 1, '', options_common) add_options("Common Options", 1, '', options_common)
add_options("Debugging Options", 1, '', options_debug) add_options("Debugging Options", 1, '', options_debug)