X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmoogle.html;h=dd64296346296e7299a2c73efcb4a08801963fa5;hb=3bb4ce11fb9d4c6375483a80344beb94c4517dd7;hp=f608b9d28a0544ec83d92177c01affc569bdf669;hpb=13d18f963d7342cfeddf17f3ae222ff1b14404a8;p=helm.git diff --git a/helm/searchEngine/html/moogle.html b/helm/searchEngine/html/moogle.html index f608b9d28..dd6429634 100644 --- a/helm/searchEngine/html/moogle.html +++ b/helm/searchEngine/html/moogle.html @@ -2,6 +2,19 @@ Moogle + @@ -36,10 +49,10 @@ - - - - + + + + @@ -47,7 +60,6 @@ -
@RESULTS@