<?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>
+<title>Whelp search</title>
<style>
- body { font-family: sans-serif }
+ 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=moogle.png" alt="moogle" /></td></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>
<table cellspacing="0" cellpadding="0">
<tr valign="middle"><td width="25%"> </td>
<td align="center">
- <input maxLength="256" size="55" name="param.expression" value="" />
+ <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">
projects / helm.git / blobdiff