]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/templateambigpdq2.html
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / searchEngine / html / templateambigpdq2.html
diff --git a/helm/searchEngine/html/templateambigpdq2.html b/helm/searchEngine/html/templateambigpdq2.html
deleted file mode 100644 (file)
index ad58e7f..0000000
+++ /dev/null
@@ -1,19 +0,0 @@
-<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>