X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmoogle_form.html.src;fp=helm%2FsearchEngine%2Fhtml%2Fmoogle_form.html.src;h=c594a10ffab17361278c6abba3a06d0bfe2d93bc;hb=db8cb29c71b8a7203e1038223e39cfc349671aa7;hp=d98eebfd301b9cd155465b03c6b39aa1e22f2924;hpb=c6762d611fb15644926b5d79bb4816a949c565ce;p=helm.git diff --git a/helm/searchEngine/html/moogle_form.html.src b/helm/searchEngine/html/moogle_form.html.src index d98eebfd3..c594a10ff 100644 --- a/helm/searchEngine/html/moogle_form.html.src +++ b/helm/searchEngine/html/moogle_form.html.src @@ -9,7 +9,7 @@ - +
mooglewhelp