X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FsearchEngine%2Fhtml%2Fmoogle.html;fp=helm%2FsearchEngine%2Fhtml%2Fmoogle.html;h=298193f44bcf0100a4aad4b2f611905ef435a462;hp=0000000000000000000000000000000000000000;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hpb=67986b7634e9fa1ca1583d9b44092d62d299edef diff --git a/helm/searchEngine/html/moogle.html b/helm/searchEngine/html/moogle.html new file mode 100644 index 000000000..298193f44 --- /dev/null +++ b/helm/searchEngine/html/moogle.html @@ -0,0 +1,68 @@ + + + +Moogle + + +
+ + + +
matita
+
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +
+ + + + + 		+ + Advanced search
+ Preferences + +
+ + + + + + +
+
+
+@RESULTS@ + + +