X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_help.html;h=48980ec4b78c9347cd07d2735c90e5e88cfe8b75;hb=57ad518c58e0b9684c5ea696a359037bed18dbc9;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 @@
- |
| |
Coming soon! |
+
+
+
+
+
+ |
+
+ |
+
+
+ | |
+
+
+
+ Coming soon!
+ |
+
+
+
+
+ In the meantime have a look at the
+ Input Syntax page
+ for syntax and examples.
+
+