Commit 2fe5b3fb authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

Minor fixes to ltl2tgba.html.

* wrap/python/ajax/css/ltl2tgba.css,
wrap/python/ajax/ltl2tgba.html: Tweak a few things for Firefox
3.0, and fix a </li> tag.
parent 2452d9ff
2011-02-03 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Minor fixes to ltl2tgba.html.
* wrap/python/ajax/css/ltl2tgba.css,
wrap/python/ajax/ltl2tgba.html: Tweak a few things for Firefox
3.0, and fix a </li> tag.
2011-02-01 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2011-02-01 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* NEWS, configure.ac: Bump version to 0.7a. * NEWS, configure.ac: Bump version to 0.7a.
......
...@@ -8,8 +8,10 @@ html {overflow-y:scroll;} ...@@ -8,8 +8,10 @@ html {overflow-y:scroll;}
input.formula { input.formula {
width: 700px; width: 700px;
} }
div#send {
width: 80px; span#send {
width: 60px;
margin-left: 4px;
} }
div.ltl2tgba { div.ltl2tgba {
......
...@@ -171,8 +171,7 @@ ...@@ -171,8 +171,7 @@
<div class="ui-widget ui-widget-content ui-corner-all collapsible"> <div class="ui-widget ui-widget-content ui-corner-all collapsible">
<h3 id="ltl-head" class="ui-widget-header ui-corner-all head">LTL Formula to translate<span class="ui-icon ui-icon-circle-arrow-n ltltip">Fold</span></h3> <h3 id="ltl-head" class="ui-widget-header ui-corner-all head">LTL Formula to translate<span class="ui-icon ui-icon-circle-arrow-n ltltip">Fold</span></h3>
<div class="dontcollapse"> <div class="dontcollapse">
<INPUT class="formula" type="text" name="f" value=""> <div id="send" class="btip" title="Submit the formula and all options. You may simply hit <b>enter</b> after typing the formula. After the first submission the form will auto-update itself anytime you change an option.">Send</div> <INPUT class="formula" type="text" name="f" value=""><span id="send" class="btip" title="Submit the formula and all options. You may simply hit <b>enter</b> after typing the formula. After the first submission the form will auto-update itself anytime you change an option.">Send</span></div>
</div>
<div id="ltl-help"> <div id="ltl-help">
<p>Use alphanumeric identifiers or double-quoted strings for atomic <p>Use alphanumeric identifiers or double-quoted strings for atomic
propositions, and parentheses for grouping.<BR>Identifiers cannot propositions, and parentheses for grouping.<BR>Identifiers cannot
...@@ -269,7 +268,7 @@ an identifier: <span class="formula">aUb</span> is an atomic proposition, unlike ...@@ -269,7 +268,7 @@ an identifier: <span class="formula">aUb</span> is an atomic proposition, unlike
<li><a href="#tabs-monitor" class="btip" title="Create a monitor accepting all finite prefixes compatible with the formula.">Monitor</a></li> <li><a href="#tabs-monitor" class="btip" title="Create a monitor accepting all finite prefixes compatible with the formula.">Monitor</a></li>
<li><a href="#tabs-automaton" class="btip" title="Translate the LTL formula into B&uuml;chi automaton.">B&uuml;chi Automaton</a></li> <li><a href="#tabs-automaton" class="btip" title="Translate the LTL formula into B&uuml;chi automaton.">B&uuml;chi Automaton</a></li>
<li><a href="#tabs-run" class="btip" title="Translate the LTL formula into B&uuml;chi automaton, and exhibit an accepting run.">B&uuml;chi Run</a></li> <li><a href="#tabs-run" class="btip" title="Translate the LTL formula into B&uuml;chi automaton, and exhibit an accepting run.">B&uuml;chi Run</a></li>
<li class="ui-icon ui-icon-circle-arrow-n ftip">Fold/li> <li class="ui-icon ui-icon-circle-arrow-n ftip">Fold</li>
</ul> </ul>
<input type="hidden" name="o"> <input type="hidden" name="o">
<div> <div>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment