From: Andrea Asperti <andrea.asperti@unibo.it> Date: Wed, 19 May 2004 14:39:42 +0000 (+0000) Subject: first moogle template checkin X-Git-Tag: V_0_0_9~41 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;p=helm.git first moogle template checkin --- diff --git a/helm/searchEngine/html/moogle.html b/helm/searchEngine/html/moogle.html new file mode 100644 index 000000000..298193f44 --- /dev/null +++ b/helm/searchEngine/html/moogle.html @@ -0,0 +1,68 @@ +<?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> +