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

* wrap/python/cgi/ltl2tgba.in: Fix <table> setting to cope

Browse source 
with IE, Safari, konqueror, ... None of these support
rules="groups" frame="border" properly (Mozilla is OK).
This commit is contained in:
Alexandre Duret-Lutz 2004-02-03 10:16:00 +00:00
parent 6dc59fa7fa
commit 1db08f494b
2 changed files with 9 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -166,7 +166,8 @@ letter operators are not assumed to be operators if they are part of
an indentifier: <code>aUb</code> is an atomic proposition, unlike
<code>a&nbsp;U&nbsp;b</code> and <code>(a)U(b)</code><br>
<table border="1" rules="groups" frame="border" cellpadding="2">
<table border="1"><tr><td>
<table border="0" rules="groups" frame="void" cellpadding="3" cellspacing=0>
<colgroup span=2>
<colgroup span=2>
<colgroup span=2>
@ -217,7 +218,7 @@ an indentifier: <code>aUb</code> is an atomic proposition, unlike
</tr>
</tbody>
</table></p>
</table></td></tr></table></p>
Translator:<TABLE><TR><TD>""" % (myself, cgi.escape(formula, True))