From 5325734bc2e4927ed7ec146e35a6f0f2b49f50c1 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Wed, 19 May 2004 14:39:42 +0000 Subject: [PATCH] first moogle template checkin --- helm/searchEngine/html/moogle.html | 68 ++++++++++++++++++++++++++++++ 1 file changed, 68 insertions(+) create mode 100644 helm/searchEngine/html/moogle.html 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@ + + + -- 2.39.2