Commit 0e9ccabb authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

ajax: add <h1> title

Final part of #176.

* python/ajax/trans.html: Here.
parent d0c59917
......@@ -24,6 +24,7 @@
$(".tabs").tabs();
$("#send").button();
$("#results").hide();
$("h1").hide();
$("abbr").tipTip({maxWidth: "300px", delay: 1000,
edgeOffset: 3,
defaultPosition: "below"});
......@@ -326,6 +327,7 @@
<div id="lip6logo">
<a href="http://www.lip6.fr/"><img border=0 src="logos/lip6sys64.png" alt="LIP6 Logo"></a></div>
<div class="ltl2tgba">
<h1>Translator of LTL to Transition-based Generalized Büchi Automata</h1>
<!-- The action below will not be used. -->
<FORM id="trform" action="#"><P>
<div class="ui-widget ui-widget-content ui-corner-all collapsible shadow">
......
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