X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_help.html;h=7b2a8bd05d2f7334339ca5a0be06b6ba9fe1b554;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;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..7b2a8bd05 100644
--- a/helm/searchEngine/html/moogle_help.html
+++ b/helm/searchEngine/html/moogle_help.html
@@ -1 +1,25 @@
- |
| |
Coming soon! |
+
+
+
+
+
+
+ 
+ |
+
+
+ | |
+
+
+
+ Coming soon!
+ |
+
+
+
+
+ In the meantime have a look at the
+ Input Syntax page
+ for syntax and examples.
+
+