<?xml version="1.0"?>
<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>
+ <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;
+ }
+ table.interp {
+ border-collapse: collapse;
+ border-top: solid;
+ border-width: 1pt;
+ }
+ tr.interp {
+ border-bottom: solid;
+ border-width: 1pt;
+ }
+ 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;
+ background-color: #ffffff;
+ }
+ span.uri { color: blue; }
+ span.invisible { color: #e5ecf9; }
+ </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@" />
- <table cellspacing="0" cellpadding="0">
- <tr valign="middle"><td width="25%"> </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" />
- </td>
- <td valign="top" width="25%">
- <font size="-2">
- <a href="/advanced_search">Advanced search</a><br />
- <a href="/preferences">Preferences</a>
- </font>
- </td>
- </tr>
- <tr>
- <td colspan="3" 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>
- </font>
- </td>
- </tr>
- </table>
-</form>
-</center>
-@RESULTS@
-</body>
+ <body>
+ <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><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle_small.png" alt="moogle"/></td>
+ <td>  </td>
+ <td align="center">
+ <input maxLength="256" size="45" name="param.expression" value="@EXPRESSION@"/>
+ </td>
+ <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="@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>
+ <br/>
+ <!--
+ <tr>
+ <td colspan="2" />
+ <td align="center">
+ <font size="-1">
+ <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 colspan="2" />
+ </tr>
+ -->
+ </table>
+ </helm:uwobo_form>
+ <div class="resultsbar">
+ <table width="100%%">
+ <tr>
+ <td class="left"><b class="query_kind">@QUERY_KIND@</b></td>
+ <td class="right">@QUERY_SUMMARY@</td>
+ </tr>
+ </table>
+ </div><br/>
+ <!-- MOZILLA SEARCH PLUGIN: BEGIN LIST -->
+ <div>
+ @RESULTS@
+ </div>
+ <!-- MOZILLA SEARCH PLUGIN: END LIST -->
+ <div class="bottombar">
+ Page: @PREV_LINK@ <b>@PAGE@/@PAGES@</b> @NEXT_LINK@
+ </div>
+ </body>
</html>
-
projects / helm.git / blobdiff