X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_syntax.html;h=7fa0fe380b459b552c393988efbd9325328d4fd5;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=2d783940986ffbe95e3b9b007039a0e435297db4;hpb=80dac1feac6f058f6beb0a5ffbddf3a5139fa336;p=helm.git

diff --git a/helm/searchEngine/html/moogle_syntax.html b/helm/searchEngine/html/moogle_syntax.html
index 2d7839409..7fa0fe380 100644
--- 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>