X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_form.html.src;fp=helm%2FsearchEngine%2Fhtml%2Fmoogle_form.html.src;h=d98eebfd301b9cd155465b03c6b39aa1e22f2924;hb=0aaed6f96b856d1181a3cd1f2ef3ea4a91990771;hp=0000000000000000000000000000000000000000;hpb=0768bb513c6955173a2f6b1d0c19ec516b695abe;p=helm.git

diff --git a/helm/searchEngine/html/moogle_form.html.src b/helm/searchEngine/html/moogle_form.html.src
new file mode 100644
index 000000000..d98eebfd3
--- /dev/null
+++ b/helm/searchEngine/html/moogle_form.html.src
@@ -0,0 +1,48 @@
+<?xml version="1.0"?>
+<helm:content
+  xmlns:helm="http://www.cs.unibo.it/helm"
+  xmlns="http://www.w3.org/1999/xhtml"
+>
+  <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><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle_small.png" alt="moogle" /></td>
+	<td>&#xA0;&#xA0;</td>
+	<td align="center">
+	  <input maxLength="256" size="45" name="param.expression" value="@EXPRESSION@" />
+	</td>
+	<td>
+	  <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" />
+	</td>
+	<td>&#xA0;&#xA0;&#xA0;</td>
+	<td>
+	  <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>
+      <br />
+      <!--
+      <tr>
+	<td colspan="2" />
+	<td align="center">
+	  <font size="-1">
+	    <input type="radio" name="param.advanced" value="no" @SIMPLE_CHECKED@ />
+	    <label>Simple search</label>
+	    <input type="radio" name="param.advanced" value="yes" @ADVANCED_CHECKED@ />
+	    <label>Advanced search</label>
+	  </font>
+	</td>
+	<td colspan="2" />
+      </tr>
+      -->
+    </table>
+  </helm:uwobo_form>
+</helm:content>