]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle_init.html
first moogle commit
[helm.git] / helm / searchEngine / html / moogle_init.html
diff --git a/helm/searchEngine/html/moogle_init.html b/helm/searchEngine/html/moogle_init.html
new file mode 100644 (file)
index 0000000..af4c26c
--- /dev/null
@@ -0,0 +1,52 @@
+<?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">
+<head>
+<title>Moogle</title>
+</head>
+<body bgcolor="#ffffff">
+<center>
+<table border="0" cellspacing="0" cellpadding="0">
+<tr>
+<td><img src="@SEARCH_ENGINE_URL@/getpage?url=moogle.png" alt="moogle" /></td></tr>
+</table>
+<br />
+<helm:uwobo_form>
+  <helm:hidden_params />
+  <input type="hidden" name="advanced" value="@ADVANCED@"/>
+  <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
+  <table cellspacing="0" cellpadding="0">
+  <tr valign="middle"><td width="25%"> </td>
+  <td align="center">
+  <input maxLength="256" size="55" name="param.expression" value="" />
+  <br />
+  <input type="submit" value="locate" name="param.action" />
+  <input type="submit" value="hint" name="param.action" />
+  <input type="submit" value="match" name="param.action" />
+  <input type="submit" value="elim" name="param.action" />
+  </td>
+  <td valign="top" width="25%">
+   <font size="-2">
+    <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_help.html">Help</a><br />
+    <a href="@SEARCH_ENGINE_URL@/getpage?url=moogle_syntax.html">Input Syntax</a>
+   </font>
+  </td>
+  </tr>
+  <tr>
+   <td colspan="3" align="center">
+    <font size="-1">
+    <input id="all" type="radio" name="param.advanced" value="no" checked="true" />
+     <label for="all">Simple search</label>
+    <input id="standard" type="radio" name="param.advanced" value="yes" />
+     <label for="standard">Advanced search</label>
+    </font>
+   </td>
+   </tr>
+  </table>
+</helm:uwobo_form>
+</center>
+<font size="-1">
+@RESULTS@
+</font>
+</body>
+</html>
+