]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/constraints_choice_template.html
Branch V7_3_new_exportation merged.
[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
new file mode 100644 (file)
index 0000000..c81a8d7
--- /dev/null
@@ -0,0 +1,18 @@
+<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>