]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/moogle_form.html.src
generate HTML templates using XSLT starting from a bunch of .src files
[helm.git] / helm / searchEngine / html / moogle_form.html.src
1 <?xml version="1.0"?>
2 <helm:content
3   xmlns:helm="http://www.cs.unibo.it/helm"
4   xmlns="http://www.w3.org/1999/xhtml"
5 >
6   <helm:uwobo_form>
7     <helm:hidden_params />
8     <input type="hidden" name="advanced" value="@ADVANCED@"/>
9     <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
10     <table cellspacing="0" cellpadding="0">
11       <tr valign="middle">
12         <td><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle_small.png" alt="moogle" /></td>
13         <td>&#xA0;&#xA0;</td>
14         <td align="center">
15           <input maxLength="256" size="45" name="param.expression" value="@EXPRESSION@" />
16         </td>
17         <td>
18           <input type="submit" value="locate" name="param.action" />
19           <input type="submit" value="hint" name="param.action" />
20           <input type="submit" value="match" name="param.action" />
21           <input type="submit" value="elim" name="param.action" />
22         </td>
23         <td>&#xA0;&#xA0;&#xA0;</td>
24         <td>
25           <font size="-2">
26             <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_help.html">Help</a><br />
27             <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_syntax.html">Input Syntax</a>
28           </font>
29         </td>
30       </tr>
31       <br />
32       <!--
33       <tr>
34         <td colspan="2" />
35         <td align="center">
36           <font size="-1">
37             <input type="radio" name="param.advanced" value="no" @SIMPLE_CHECKED@ />
38             <label>Simple search</label>
39             <input type="radio" name="param.advanced" value="yes" @ADVANCED_CHECKED@ />
40             <label>Advanced search</label>
41           </font>
42         </td>
43         <td colspan="2" />
44       </tr>
45       -->
46     </table>
47   </helm:uwobo_form>
48 </helm:content>