X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FsearchEngine%2Fhtml%2Fmoogle.html;h=3c76f8b852ccf66be7acd05ed9a3fe28aaf403b5;hb=a84be8db90f3f27148074c22d80b21a2dcf58576;hp=298193f44bcf0100a4aad4b2f611905ef435a462;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;p=helm.git diff --git a/helm/searchEngine/html/moogle.html b/helm/searchEngine/html/moogle.html index 298193f44..3c76f8b85 100644 --- a/helm/searchEngine/html/moogle.html +++ b/helm/searchEngine/html/moogle.html @@ -2,67 +2,80 @@ Moogle + -
- - - -
matita
-
-
- - - - - - - - - - - - - - - - - - - - - + + + + - + + + - + + - + + + + + +
moogle   - -
- - - - + 		+ + + + + +     - Advanced search
- Preferences + Help
+ Input Syntax
+
- - - - + + + +
- -
+ + @RESULTS@ + + +
+ Page: @PREV_LINK@ @PAGE@/@PAGES@ @NEXT_LINK@ +
+