]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle.html.src
generate HTML templates using XSLT starting from a bunch of .src files
[helm.git] / helm / searchEngine / html / moogle.html.src
diff --git a/helm/searchEngine/html/moogle.html.src b/helm/searchEngine/html/moogle.html.src
new file mode 100644 (file)
index 0000000..eca23d3
--- /dev/null
@@ -0,0 +1,21 @@
+<?xml version="1.0"?>
+<html
+  xmlns="http://www.w3.org/1999/xhtml"
+  xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory"
+  xmlns:helm="http://www.cs.unibo.it/helm"
+  xml:lang="en"
+  lang="en"
+>
+  <helm:include href="moogle_header.html.src" />
+  <body>
+    <helm:include href="moogle_form.html.src" />
+    <helm:include href="moogle_querybar.html.src" />
+    <!-- MOZILLA SEARCH PLUGIN: BEGIN LIST -->
+    <div>
+      @RESULTS@
+    </div>
+    <!-- MOZILLA SEARCH PLUGIN: END LIST -->
+    <helm:include href="moogle_trailer.html.src" />
+  </body>
+</html>
+