]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/templateambigpdq1.html
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / searchEngine / html / templateambigpdq1.html
diff --git a/helm/searchEngine/html/templateambigpdq1.html b/helm/searchEngine/html/templateambigpdq1.html
deleted file mode 100644 (file)
index 3897e34..0000000
+++ /dev/null
@@ -1,22 +0,0 @@
-<HTML>
-<HEAD>
-<TITLE>@TITLE@</TITLE>
-<style> A { text-decoration: none } </style>
-<SCRIPT language="Javascript">
-   var ambiguousinput='@MSG@';
-   var elenco = new Array(@CHOICES@);
-   var ident = '@ID@';
-</SCRIPT>
-</HEAD>
-<BODY>
-<h3><SCRIPT language="Javascript">document.write(ambiguousinput);</SCRIPT></h3>
-<br />Please select one or more of the following.
-<br />
-<form name="disamb">
-<SCRIPT language="Javascript">top.templateambigpdq1_listauri(document,elenco);</SCRIPT><br />
-<input type="button" value="Ok" onClick="top.templateambigpdq1_invia(document,top,elenco,ident);" />
-<input type="button" value="Constants Only" onClick="top.templateambigpdq1_selezionaCostanti(document,elenco);" />
-<input type="button" value="Cancel" onClick="top.templateambigpdq1_resetta();" />
-</form>
-</BODY>
-</HTML>