]> matita.cs.unibo.it Git - helm.git/blob - daemons/whelp/html/moogle.html.src
daemons tamed
[helm.git] / daemons / whelp / html / moogle.html.src
1 <?xml version="1.0"?>
2 <html
3   xmlns="http://www.w3.org/1999/xhtml"
4   xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory"
5   xmlns:helm="http://www.cs.unibo.it/helm"
6   xml:lang="en"
7   lang="en"
8 >
9   <helm:include href="moogle_header.html.src" />
10   <body>
11     <helm:include href="moogle_form.html.src" />
12     <helm:include href="moogle_querybar.html.src" />
13     <!-- MOZILLA SEARCH PLUGIN: BEGIN LIST -->
14     <div>
15       @RESULTS@
16     </div>
17     <!-- MOZILLA SEARCH PLUGIN: END LIST -->
18     <helm:include href="moogle_trailer.html.src" />
19   </body>
20 </html>
21