]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle_form.html.src
changed logo: whelp!
[helm.git] / helm / searchEngine / html / moogle_form.html.src
index d98eebfd301b9cd155465b03c6b39aa1e22f2924..c594a10ffab17361278c6abba3a06d0bfe2d93bc 100644 (file)
@@ -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@" />