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=0000000000000000000000000000000000000000;hb=76ad23ea1e83e8c187a4593027e9baed1bb022e3;hp=05eba4cbc3e3d52aad7de979154df7e3dedc93d5;hpb=2b2b90087f836c2f32291935216549e9370e68c3;p=helm.git

diff --git a/helm/searchEngine/html/moogle_form.html.src b/helm/searchEngine/html/moogle_form.html.src
deleted file mode 100644
index 05eba4cbc..000000000
--- a/helm/searchEngine/html/moogle_form.html.src
+++ /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>