]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle_help.html
ocaml 3.09 transition
[helm.git] / helm / searchEngine / html / moogle_help.html
index 48980ec4b78c9347cd07d2735c90e5e88cfe8b75..7b2a8bd05d2f7334339ca5a0be06b6ba9fe1b554 100644 (file)
@@ -4,7 +4,7 @@
     <table align="center">
       <tr>
         <td>
-          <img align="center" src="http://helm.cs.unibo.it/moogle.png" alt="moogle"/>
+          <img align="center" src="http://helm.cs.unibo.it/whelp.png" alt="whelp"/>
         </td>
       </tr>
       <tr>