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

diff --git a/helm/searchEngine/html/moogle_form.html.src b/helm/searchEngine/html/moogle_form.html.src
index d98eebfd3..9bc072d36 100644
--- a/helm/searchEngine/html/moogle_form.html.src
+++ b/helm/searchEngine/html/moogle_form.html.src
@@ -9,7 +9,7 @@
     <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><img src="@SEARCH_ENGINE_URL@/getpage?url=whelp_small.png" alt="whelp" /></td>
 	<td>&#xA0;&#xA0;</td>
 	<td align="center">
 	  <input maxLength="256" size="45" name="param.expression" value="@EXPRESSION@" />
@@ -19,6 +19,7 @@
 	  <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>