Whelp search

From: Stefano Zacchiroli Date: Fri, 8 Apr 2005 15:52:16 +0000 (+0000) Subject: added clickable fingers X-Git-Tag: after_svn_merge~37 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a2af27c3ea450b0a1c60c5f8b7fed2818cc292e4;p=helm.git added clickable fingers --- 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 + + + + + - + + + + + + + + + + + + + + + + + + + +