]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/constraints_choice_template.html
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / searchEngine / html / constraints_choice_template.html
1 <html>
2   <head>
3     <title>Refine the Constraints</title>
4     <style> A { text-decoration: none } </style>
5   </head>
6   <body>
7     <form name="constraints">
8      <b>You can now proceed using the default generated constraints or you
9      can refine them by hand before going on.</b> <br /> <br />
10      <SCRIPT language="Javascript">
11       @VARIABLES_INITIALIZATION@
12      </SCRIPT>
13      <input type="button" value="Submit Query" onClick="top.constraints_choice_template_invia(document,aliases,constr_obj_len,constr_rel_len,constr_sort_len)"/>
14      @FORM@
15      <br />
16     </form>
17   </body>
18 </html>