]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/templateambigpdq1.html
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / searchEngine / html / templateambigpdq1.html
1 <HTML>
2 <HEAD>
3 <TITLE>@TITLE@</TITLE>
4 <style> A { text-decoration: none } </style>
5 <SCRIPT language="Javascript">
6    var ambiguousinput='@MSG@';
7    var elenco = new Array(@CHOICES@);
8    var ident = '@ID@';
9 </SCRIPT>
10 </HEAD>
11 <BODY>
12 <h3><SCRIPT language="Javascript">document.write(ambiguousinput);</SCRIPT></h3>
13 <br />Please select one or more of the following.
14 <br />
15 <form name="disamb">
16 <SCRIPT language="Javascript">top.templateambigpdq1_listauri(document,elenco);</SCRIPT><br />
17 <input type="button" value="Ok" onClick="top.templateambigpdq1_invia(document,top,elenco,ident);" />
18 <input type="button" value="Constants Only" onClick="top.templateambigpdq1_selezionaCostanti(document,elenco);" />
19 <input type="button" value="Cancel" onClick="top.templateambigpdq1_resetta();" />
20 </form>
21 </BODY>
22 </HTML>