X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_header.html.src;h=a788d1f6dbb480b94f8f03c42f3cd15cb8244ece;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=d406b0b79225d46c569e37edfdc1e9be581a7e2e;hpb=6dada2f080978d66e3acc24230eee10e22daabea;p=helm.git

diff --git a/helm/searchEngine/html/moogle_header.html.src b/helm/searchEngine/html/moogle_header.html.src
index d406b0b79..a788d1f6d 100644
--- a/helm/searchEngine/html/moogle_header.html.src
+++ b/helm/searchEngine/html/moogle_header.html.src
@@ -4,7 +4,7 @@
   xmlns="http://www.w3.org/1999/xhtml"
 >
 <head>
-  <title>Moogle</title>
+  <title>Whelp search</title>
   <style>
     div.resultsbar {
       background-color: #e5ecf9;
