X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_init.html;h=5260da7b88e5d709e59a9e0623a45fc6d89a1fb5;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=5e681b822ebcd7da01ae7e8983dc9a3f5325dd24;hpb=db8cb29c71b8a7203e1038223e39cfc349671aa7;p=helm.git diff --git a/helm/searchEngine/html/moogle_init.html b/helm/searchEngine/html/moogle_init.html index 5e681b822..5260da7b8 100644 --- a/helm/searchEngine/html/moogle_init.html +++ b/helm/searchEngine/html/moogle_init.html @@ -3,14 +3,62 @@ Whelp search + + + + +
- + + + + + + + + + + + + +HINT + +ELIM +LOCATE +PATTERN MATCHING +WOUNDERFUL + +
moogle
+ whelp +

@@ -20,12 +68,13 @@
- +
+