--- /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>Whelp search</title>
+<style>
+ body { font-family: sans-serif }
+</style>
+
+<script type="text/javascript" language="JavaScript">
+ function submit_query(q){
+ if ( q == 'w' ) {
+ alert("This is Whelp!");
+ } else {
+ e = document.createElement("input");
+ e.setAttribute("type","hidden");
+ e.setAttribute("name","param.action");
+ e.setAttribute("value",q);
+
+ document.forms[0].appendChild(e);
+
+ document.forms[0].submit();
+ }
+ }
+</script>
+
+</head>
+
+<body bgcolor="#ffffff">
+
+<center>
+<table border="0" cellspacing="0" cellpadding="0">
+<tr>
+ <td>
+ <img src="@SEARCH_ENGINE_URL@/getpage?url=whelp.png"
+ alt="whelp" usemap="#map"
+ style="border: 0;"/>
+ </td>
+</tr>
+
+
+<map name="map">
+
+<!-- #$-:Image Map file created by GIMP Imagemap Plugin -->
+<!-- #$-:GIMP Imagemap Plugin by Maurits Rijk -->
+<!-- #$-:Please do not edit lines starting with "#$" -->
+<!-- #$VERSION:2.0 -->
+<!-- #$AUTHOR:Enrico Tassi -->
+
+<area shape="poly" coords="17,42,26,42,34,46,40,52,42,59,42,65,38,69,32,73,26,76,16,76,10,74,5,70,1,64,1,57,2,52,6,48,12,44" alt="HINT"
+onclick="submit_query('hint')" />
+
+<area shape="poly" coords="55,12,68,12,77,17,84,24,85,34,83,41,77,47,70,51,63,51,55,51,47,49,38,40,37,33,37,24,42,19,50,13" alt="ELIM"
+onclick="submit_query('elim')" />
+<area shape="poly" coords="90,13,102,2,115,0,130,5,139,15,139,28,127,40,117,43,105,41,94,35,89,26" alt="LOCATE"
+onclick="submit_query('locate')" />
+<area shape="poly" coords="144,26,153,17,166,13,179,12,188,16,195,24,199,34,198,44,192,54,182,59,169,61,156,58,147,52,143,44,142,36,142,35" alt="PATTERN MATCHING"
+onclick="submit_query('match')" />
+<area shape="poly" coords="49,68,63,58,82,51,100,48,116,49,134,54,153,62,164,74,174,90,178,103,177,116,173,130,164,141,154,152,142,159,127,165,110,167,94,167,78,164,64,159,53,151,44,143,36,132,31,120,30,100,34,87,40,77,45,71" alt="WOUNDERFUL"
+onclick="submit_query('w')" />
+</map>
+
+</table>
+<br />
+<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>
+ <td align="center">
+ <input maxLength="1024" size="55" name="param.expression" value="" />
+ <br />
+ <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" />
+ <input type="submit" value="instance" name="param.action" />
+ </td>
+ <td valign="top" width="25%">
+ <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>
+<!--
+ <tr>
+ <td colspan="3" align="center">
+ <font size="-1">
+ <input id="all" type="radio" name="param.advanced" value="no" checked="true" />
+ <label for="all">Simple search</label>
+ <input id="standard" type="radio" name="param.advanced" value="yes" />
+ <label for="standard">Advanced search</label>
+ </font>
+ </td>
+ </tr>
+-->
+ </table>
+</helm:uwobo_form>
+</center>
+<font size="-1">
+@RESULTS@
+</font>
+</body>
+</html>
+
projects / helm.git / blobdiff