]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/templateambigpdq2.html
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / searchEngine / html / templateambigpdq2.html
1 <HTML>
2 <HEAD>
3 <style> A { text-decoration: none } </style>
4 <SCRIPT language="Javascript">
5    var elenco = new Array(@INTERPRETATIONS@);
6    var labels = new Array(@INTERPRETATIONS_LABELS@);
7 </SCRIPT>
8 </HEAD>
9 <BODY>
10 <h3>There are more than one possible interpretations.</h3>
11 <br />Please choose one of the following.
12 <br />
13 <form name="disamb">
14 <SCRIPT language="Javascript">top.templateambigpdq2_listainterpretazioni(document,elenco,labels);</SCRIPT><br />
15 <input type="button" value="Ok" onClick="top.templateambigpdq2_invia(document,elenco);" />
16 <input type="button" value="Cancel" onClick="top.templateambigpdq2_resetta();" />
17 </form>
18 </BODY>
19 </HTML>