]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle_form.html.src
daemons tamed
[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
deleted file mode 100644 (file)
index 05eba4c..0000000
+++ /dev/null
@@ -1,49 +0,0 @@
-<?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=whelp_small.png" alt="whelp" /></td>
-       <td>&#xA0;&#xA0;</td>
-       <td align="center">
-         <input maxLength="1024" 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" />
-         <input type="submit" value="instance" 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>