X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_init.html;fp=helm%2FsearchEngine%2Fhtml%2Fmoogle_init.html;h=5e681b822ebcd7da01ae7e8983dc9a3f5325dd24;hb=db8cb29c71b8a7203e1038223e39cfc349671aa7;hp=7c2193062690cf3c03da371198df6c28b2409b7e;hpb=c6762d611fb15644926b5d79bb4816a949c565ce;p=helm.git
diff --git a/helm/searchEngine/html/moogle_init.html b/helm/searchEngine/html/moogle_init.html
index 7c2193062..5e681b822 100644
--- a/helm/searchEngine/html/moogle_init.html
+++ b/helm/searchEngine/html/moogle_init.html
@@ -1,7 +1,7 @@
-Moogle
+Whelp search
@@ -10,7 +10,7 @@
- |
+ |