]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/constraints_choice_template.html
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / searchEngine / html / constraints_choice_template.html
diff --git a/helm/searchEngine/html/constraints_choice_template.html b/helm/searchEngine/html/constraints_choice_template.html
deleted file mode 100644 (file)
index c81a8d7..0000000
+++ /dev/null
@@ -1,18 +0,0 @@
-<html>
-  <head>
-    <title>Refine the Constraints</title>
-    <style> A { text-decoration: none } </style>
-  </head>
-  <body>
-    <form name="constraints">
-     <b>You can now proceed using the default generated constraints or you
-     can refine them by hand before going on.</b> <br /> <br />
-     <SCRIPT language="Javascript">
-      @VARIABLES_INITIALIZATION@
-     </SCRIPT>
-     <input type="button" value="Submit Query" onClick="top.constraints_choice_template_invia(document,aliases,constr_obj_len,constr_rel_len,constr_sort_len)"/>
-     @FORM@
-     <br />
-    </form>
-  </body>
-</html>