]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle_form.html.src
generate HTML templates using XSLT starting from a bunch of .src files
[helm.git] / helm / searchEngine / html / moogle_form.html.src
diff --git a/helm/searchEngine/html/moogle_form.html.src b/helm/searchEngine/html/moogle_form.html.src
new file mode 100644 (file)
index 0000000..d98eebf
--- /dev/null
@@ -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>