]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/moogle_init.html
first moogle commit
[helm.git] / helm / searchEngine / html / moogle_init.html
1 <?xml version="1.0"?>
2 <html xmlns="http://www.w3.org/1999/xhtml" xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory" xmlns:helm="http://www.cs.unibo.it/helm" xml:lang="en" lang="en">
3 <head>
4 <title>Moogle</title>
5 </head>
6 <body bgcolor="#ffffff">
7 <center>
8 <table border="0" cellspacing="0" cellpadding="0">
9 <tr>
10 <td><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle.png" alt="moogle" /></td></tr>
11 </table>
12 <br />
13 <helm:uwobo_form>
14   <helm:hidden_params />
15   <input type="hidden" name="advanced" value="@ADVANCED@"/>
16   <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
17   <table cellspacing="0" cellpadding="0">
18   <tr valign="middle"><td width="25%"> </td>
19   <td align="center">
20   <input maxLength="256" size="55" name="param.expression" value="" />
21   <br />
22   <input type="submit" value="locate" name="param.action" />
23   <input type="submit" value="hint" name="param.action" />
24   <input type="submit" value="match" name="param.action" />
25   <input type="submit" value="elim" name="param.action" />
26   </td>
27   <td valign="top" width="25%">
28    <font size="-2">
29     <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_help.html">Help</a><br />
30     <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_syntax.html">Input Syntax</a>
31    </font>
32   </td>
33   </tr>
34   <tr>
35    <td colspan="3" align="center">
36     <font size="-1">
37     <input id="all" type="radio" name="param.advanced" value="no" checked="true" />
38      <label for="all">Simple search</label>
39     <input id="standard" type="radio" name="param.advanced" value="yes" />
40      <label for="standard">Advanced search</label>
41     </font>
42    </td>
43    </tr>
44   </table>
45 </helm:uwobo_form>
46 </center>
47 <font size="-1">
48 @RESULTS@
49 </font>
50 </body>
51 </html>
52