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 <style>
   6   body { font-family: sans-serif }
   7 </style>
   8 </head>
   9 <body bgcolor="#ffffff">
  10 <center>
  11 <table border="0" cellspacing="0" cellpadding="0">
  12 <tr>
  13 <td><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle.png" alt="moogle" /></td></tr>
  14 </table>
  15 <br />
  16 <helm:uwobo_form>
  17   <helm:hidden_params />
  18   <input type="hidden" name="advanced" value="@ADVANCED@"/>
  19   <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
  20   <table cellspacing="0" cellpadding="0">
  21   <tr valign="middle"><td width="25%"> </td>
  22   <td align="center">
  23   <input maxLength="256" size="55" name="param.expression" value="" />
  24   <br />
  25   <input type="submit" value="locate" name="param.action" />
  26   <input type="submit" value="hint" name="param.action" />
  27   <input type="submit" value="match" name="param.action" />
  28   <input type="submit" value="elim" name="param.action" />
  29   </td>
  30   <td valign="top" width="25%">
  31    <font size="-2">
  32     <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_help.html">Help</a><br />
  33     <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_syntax.html">Input Syntax</a>
  34    </font>
  35   </td>
  36   </tr>
  37   <tr>
  38    <td colspan="3" align="center">
  39     <font size="-1">
  40     <input id="all" type="radio" name="param.advanced" value="no" checked="true" />
  41      <label for="all">Simple search</label>
  42     <input id="standard" type="radio" name="param.advanced" value="yes" />
  43      <label for="standard">Advanced search</label>
  44     </font>
  45    </td>
  46    </tr>
  47   </table>
  48 </helm:uwobo_form>
  49 </center>
  50 <font size="-1">
  51 @RESULTS@
  52 </font>
  53 </body>
  54 </html>
  55