X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_help.html;h=7b2a8bd05d2f7334339ca5a0be06b6ba9fe1b554;hb=aeb07f9b54ff0a5ab8f7a6c6f229f0bf3e7f9d62;hp=e6252cc28a79ae259dba19fa9ed1a56c7d06ce4a;hpb=13d18f963d7342cfeddf17f3ae222ff1b14404a8;p=helm.git diff --git a/helm/searchEngine/html/moogle_help.html b/helm/searchEngine/html/moogle_help.html index e6252cc28..7b2a8bd05 100644 --- a/helm/searchEngine/html/moogle_help.html +++ b/helm/searchEngine/html/moogle_help.html @@ -1,85 +1,25 @@ - -
-![]() |
- - | - - | -- - - - - | -- |
-
- Help - Input Syntax - - |
-
- | - | - - - - - - - | -- | - |
ccccccccccccc
-
+ ![]() |
+
+ |
+ Coming soon!+ |
+