X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_init.html;fp=helm%2FsearchEngine%2Fhtml%2Fmoogle_init.html;h=7e35487f899702ddf78dd55540de27d4f339d304;hb=a2af27c3ea450b0a1c60c5f8b7fed2818cc292e4;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..7e35487f8 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 +