X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_help.html;h=7b2a8bd05d2f7334339ca5a0be06b6ba9fe1b554;hb=7b995596c8b11be95c430646227d01928cc71219;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.
+
+