From: Andrea Asperti Date: Wed, 19 May 2004 14:39:42 +0000 (+0000) Subject: first moogle template checkin X-Git-Tag: V_0_0_9~41 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1 first moogle template checkin --- 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@ + + +