3 xmlns:helm="http://www.cs.unibo.it/helm"
4 xmlns="http://www.w3.org/1999/xhtml"
8 <input type="hidden" name="advanced" value="@ADVANCED@"/>
9 <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
10 <table cellspacing="0" cellpadding="0">
12 <td><img src="@SEARCH_ENGINE_URL@/getpage?url=whelp_small.png" alt="whelp" /></td>
15 <input maxLength="1024" size="45" name="param.expression" value="@EXPRESSION@" />
18 <input type="submit" value="locate" name="param.action" />
19 <input type="submit" value="hint" name="param.action" />
20 <input type="submit" value="match" name="param.action" />
21 <input type="submit" value="elim" name="param.action" />
22 <input type="submit" value="instance" name="param.action" />
24 <td>   </td>
27 <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_help.html">Help</a><br />
28 <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_syntax.html">Input Syntax</a>
38 <input type="radio" name="param.advanced" value="no" @SIMPLE_CHECKED@ />
39 <label>Simple search</label>
40 <input type="radio" name="param.advanced" value="yes" @ADVANCED_CHECKED@ />
41 <label>Advanced search</label>