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