--- /dev/null
+<?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>
+<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>
+</html>
+
projects / helm.git / commitdiff