ocaml 3.09 transition

[helm.git] / helm / searchEngine / html / moogle_syntax.html

diff --git a/helm/searchEngine/html/moogle_syntax.html b/helm/searchEngine/html/moogle_syntax.html
index 2d783940986ffbe95e3b9b007039a0e435297db4..7fa0fe380b459b552c393988efbd9325328d4fd5 100644 (file)
--- a/helm/searchEngine/html/moogle_syntax.html
+++ b/helm/searchEngine/html/moogle_syntax.html
@@ -11,12 +11,12 @@
     <table>
       <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>
        <td>
-         <h2>Moogle Input Syntax</h2>
+         <h2>Whelp Input Syntax</h2>
          <ul class="spaced">
            <li>
            <b>locate <em>&lt;pattern&gt;</em></b>