helm/searchEngine/html/moogle.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="matita.png" width="276" height="110" alt="matita" /></td></tr>
  11 </table>
  12 <br />
  13 <form action="@SEARCH_ENGINE_URL@/ask_uwobo" method="get">
  14   <input type="hidden" name="param.processorURL" value="@processorURL@" />
  15   <input type="hidden" name="param.getterURL" value="@getterURL@" />
  16   <input type="hidden" name="param.proofcheckerURL" value="@proofcheckerURL@" />
  17   <input type="hidden" name="param.draw_graphURL" value="@draw_graphURL@" />
  18   <input type="hidden" name="param.ui_set_queueURL" value="@uri_set_queueURL@" />
  19   <input type="hidden" name="param.UNICODEvsSYMBOL" value="@UNICODEvsSYMBOL@" />
  20   <input type="hidden" name="param.keys" value="@keys@" />
  21   <input type="hidden" name="param.thkeys" value="@thkeys@" />
  22   <input type="hidden" name="param.embedkeys" value="@embedkeys@" />
  23   <input type="hidden" name="param.doctype-public" value="@public@" />
  24   <input type="hidden" name="param.encoding" value="@encoding@" />
  25   <input type="hidden" name="param.thencoding" value="@thencoding@" />
  26   <input type="hidden" name="param.media-type" value="@type@" />
  27   <input type="hidden" name="param.thmedia-type" value="@type@" />
  28   <input type="hidden" name="param.interfaceURL" value="@interfaceURL@" />
  29   <input type="hidden" name="param.thinterfaceURL" value="@thinterfaceURL@" />
  30   <input type="hidden" name="param.CICURI" value="@CICURI@" />
  31   <input type="hidden" name="param.expandasking" value="@SEARCH_ENGINE_URL@" />
  32   <input type="hidden" name="param.annotations" value="@annotations@" />
  33   <input type="hidden" name="param.naturalLanguage" value="@naturalLanguage@" />  <input type="hidden" name="param.SEARCH_ENGINE_URL" value="@SEARCH_ENGINE_URL@" />
  34   <input type="hidden" name="param.topurl" value="@topurl@" />
  35   <table cellspacing="0" cellpadding="0">
  36   <tr valign="middle"><td width="25%"> </td>
  37   <td align="center">
  38   <input maxLength="256" size="55" name="expression" value="" />
  39   <br />
  40   <input type="submit" value="locate" name="action" />
  41   <input type="submit" value="hint" name="action" />
  42   <input type="submit" value="match" name="action" />
  43   <input type="submit" value="elim" name="action" />
  44   </td>
  45   <td valign="top" width="25%">
  46    <font size="-2">
  47     <a href="/advanced_search">Advanced search</a><br />
  48     <a href="/preferences">Preferences</a>
  49    </font>
  50   </td>
  51   </tr>
  52   <tr>
  53    <td colspan="3" align="center">
  54     <font size="-1">
  55     <input id="all" type="radio" name="lr" value="all" checked="true" />
  56      <label for="all">All contribs</label>
  57     <input id="standard" type="radio" name="lr" value="standard" />
  58      <label for="standard">Standard library</label>
  59     </font>
  60    </td>
  61    </tr>
  62   </table>
  63 </form>
  64 </center>
  65 @RESULTS@
  66 </body>
  67 </html>
  68