]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle_init.html
changed logo: whelp!
[helm.git] / helm / searchEngine / html / moogle_init.html
index 7c2193062690cf3c03da371198df6c28b2409b7e..5e681b822ebcd7da01ae7e8983dc9a3f5325dd24 100644 (file)
@@ -1,7 +1,7 @@
 <?xml version="1.0"?>
 <html xmlns="http://www.w3.org/1999/xhtml" xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory" xmlns:helm="http://www.cs.unibo.it/helm" xml:lang="en" lang="en">
 <head>
-<title>Moogle</title>
+<title>Whelp search</title>
 <style>
   body { font-family: sans-serif }
 </style>
@@ -10,7 +10,7 @@
 <center>
 <table border="0" cellspacing="0" cellpadding="0">
 <tr>
-<td><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle.png" alt="moogle" /></td></tr>
+<td><img src="@SEARCH_ENGINE_URL@/getpage?url=whelp.png" alt="moogle" /></td></tr>
 </table>
 <br />
 <helm:uwobo_form>