]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/templateambigpdq2.html
Branch V7_3_new_exportation merged.
[helm.git] / helm / searchEngine / html / templateambigpdq2.html
diff --git a/helm/searchEngine/html/templateambigpdq2.html b/helm/searchEngine/html/templateambigpdq2.html
new file mode 100644 (file)
index 0000000..ad58e7f
--- /dev/null
@@ -0,0 +1,19 @@
+<HTML>
+<HEAD>
+<style> A { text-decoration: none } </style>
+<SCRIPT language="Javascript">
+   var elenco = new Array(@INTERPRETATIONS@);
+   var labels = new Array(@INTERPRETATIONS_LABELS@);
+</SCRIPT>
+</HEAD>
+<BODY>
+<h3>There are more than one possible interpretations.</h3>
+<br />Please choose one of the following.
+<br />
+<form name="disamb">
+<SCRIPT language="Javascript">top.templateambigpdq2_listainterpretazioni(document,elenco,labels);</SCRIPT><br />
+<input type="button" value="Ok" onClick="top.templateambigpdq2_invia(document,elenco);" />
+<input type="button" value="Cancel" onClick="top.templateambigpdq2_resetta();" />
+</form>
+</BODY>
+</HTML>