+++ /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