X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_help.html;h=48980ec4b78c9347cd07d2735c90e5e88cfe8b75;hb=3c9c376401844c389d682ba835845443105e4b1a;hp=22bb5412caca53ab92a9133b311c385370e099e5;hpb=aeac77539da374b9c9a0f3aae1c7b43963c9dab9;p=helm.git
diff --git a/helm/searchEngine/html/moogle_help.html b/helm/searchEngine/html/moogle_help.html
index 22bb5412c..48980ec4b 100644
--- a/helm/searchEngine/html/moogle_help.html
+++ b/helm/searchEngine/html/moogle_help.html
@@ -1 +1,25 @@
-
![moogle](http://helm.cs.unibo.it/moogle.png) |
|
Coming soon! |
+
+
+
+
+
+
+
+ |
+
+
+ |
+
+
+
+ Coming soon!
+ |
+
+
+
+
+ In the meantime have a look at the
+ Input Syntax page
+ for syntax and examples.
+
+