X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_form.html.src;h=05eba4cbc3e3d52aad7de979154df7e3dedc93d5;hb=24054502870f60c8847de9e7a8db6c37fbe8cc99;hp=c594a10ffab17361278c6abba3a06d0bfe2d93bc;hpb=db8cb29c71b8a7203e1038223e39cfc349671aa7;p=helm.git diff --git a/helm/searchEngine/html/moogle_form.html.src b/helm/searchEngine/html/moogle_form.html.src index c594a10ff..05eba4cbc 100644 --- a/helm/searchEngine/html/moogle_form.html.src +++ b/helm/searchEngine/html/moogle_form.html.src @@ -12,13 +12,14 @@