<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">
<head>
<title>Moogle</title>
+<style>
+ div.resultsbar {
+ background-color: #e5ecf9;
+ border-top: solid;
+ border-width: thin;
+ border-color: #3366cc;
+ }
+ div.bottombar {
+ background-color: #e5ecf9;
+ border-top: solid;
+ border-bottom: solid;
+ border-width: thin;
+ border-color: #3366cc;
+ text-align: center;
+ }
+ td.left { text-align: left }
+ td.right { text-align: right }
+ b.error { color: red }
+ b.query_kind { font-size: large }
+ body { font-family: sans-serif }
+</style>
</head>
<body bgcolor="#ffffff">
-<center>
-<table border="0" cellspacing="0" cellpadding="0">
-<tr>
-<td><img src="matita.png" width="276" height="110" alt="matita" /></td></tr>
-</table>
-<br />
-<form action="@SEARCH_ENGINE_URL@/ask_uwobo" method="get">
- <input type="hidden" name="param.processorURL" value="@processorURL@" />
- <input type="hidden" name="param.getterURL" value="@getterURL@" />
- <input type="hidden" name="param.proofcheckerURL" value="@proofcheckerURL@" />
- <input type="hidden" name="param.draw_graphURL" value="@draw_graphURL@" />
- <input type="hidden" name="param.ui_set_queueURL" value="@uri_set_queueURL@" />
- <input type="hidden" name="param.UNICODEvsSYMBOL" value="@UNICODEvsSYMBOL@" />
- <input type="hidden" name="param.keys" value="@keys@" />
- <input type="hidden" name="param.thkeys" value="@thkeys@" />
- <input type="hidden" name="param.embedkeys" value="@embedkeys@" />
- <input type="hidden" name="param.doctype-public" value="@public@" />
- <input type="hidden" name="param.encoding" value="@encoding@" />
- <input type="hidden" name="param.thencoding" value="@thencoding@" />
- <input type="hidden" name="param.media-type" value="@type@" />
- <input type="hidden" name="param.thmedia-type" value="@type@" />
- <input type="hidden" name="param.interfaceURL" value="@interfaceURL@" />
- <input type="hidden" name="param.thinterfaceURL" value="@thinterfaceURL@" />
- <input type="hidden" name="param.CICURI" value="@CICURI@" />
- <input type="hidden" name="param.expandasking" value="@SEARCH_ENGINE_URL@" />
- <input type="hidden" name="param.annotations" value="@annotations@" />
- <input type="hidden" name="param.naturalLanguage" value="@naturalLanguage@" /> <input type="hidden" name="param.SEARCH_ENGINE_URL" value="@SEARCH_ENGINE_URL@" />
- <input type="hidden" name="param.topurl" value="@topurl@" />
+<helm:uwobo_form>
+ <helm:hidden_params />
+ <input type="hidden" name="advanced" value="@ADVANCED@"/>
+ <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
<table cellspacing="0" cellpadding="0">
- <tr valign="middle"><td width="25%"> </td>
+ <tr valign="middle">
+ <td><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle_small.png" alt="moogle" /></td>
+ <td>  </td>
<td align="center">
- <input maxLength="256" size="55" name="expression" value="" />
- <br />
- <input type="submit" value="locate" name="action" />
- <input type="submit" value="hint" name="action" />
- <input type="submit" value="match" name="action" />
- <input type="submit" value="elim" name="action" />
+ <input maxLength="256" size="45" name="param.expression" value="@EXPRESSION@" />
</td>
- <td valign="top" width="25%">
+ <td>
+ <input type="submit" value="locate" name="param.action" />
+ <input type="submit" value="hint" name="param.action" />
+ <input type="submit" value="match" name="param.action" />
+ <input type="submit" value="elim" name="param.action" />
+ </td>
+ <td>   </td>
+ <td>
<font size="-2">
- <a href="/advanced_search">Advanced search</a><br />
- <a href="/preferences">Preferences</a>
+ <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_help.html">Help</a><br />
+ <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_syntax.html">Input Syntax</a>
</font>
</td>
</tr>
<tr>
- <td colspan="3" align="center">
+ </tr>
+ <tr>
+ <td> </td>
+ <td> </td>
+ <td align="center">
<font size="-1">
- <input id="all" type="radio" name="lr" value="all" checked="true" />
- <label for="all">All contribs</label>
- <input id="standard" type="radio" name="lr" value="standard" />
- <label for="standard">Standard library</label>
+ <input type="radio" name="param.advanced" value="no" @SIMPLE_CHECKED@ />
+ <label>Simple search</label>
+ <input type="radio" name="param.advanced" value="yes" @ADVANCED_CHECKED@ />
+ <label>Advanced search</label>
</font>
</td>
+ <td> </td>
+ <td> </td>
</tr>
</table>
-</form>
-</center>
+</helm:uwobo_form>
+<font size="-1">
@RESULTS@
+</font>
+<font size="-1">
+ <div class='bottombar'>
+ Page: @PREV_LINK@ <b>@PAGE@/@PAGES@</b> @NEXT_LINK@
+ </div>
+</font>
</body>
</html>