]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle_help.html
ocaml 3.09 transition
[helm.git] / helm / searchEngine / html / moogle_help.html
index 22bb5412caca53ab92a9133b311c385370e099e5..7b2a8bd05d2f7334339ca5a0be06b6ba9fe1b554 100644 (file)
@@ -1 +1,25 @@
-<html><body><table align="center"><tr><td><img align="center" src="http://helm.cs.unibo.it/moogle.png" alt="moogle" /></td></tr><tr><td>&nbsp;</td></tr><tr><td align="center"><h2>Coming soon!</h2></td></tr></table></body></html>
+<?xml version="1.0"?>
+<html>
+  <body>
+    <table align="center">
+      <tr>
+        <td>
+          <img align="center" src="http://helm.cs.unibo.it/whelp.png" alt="whelp"/>
+        </td>
+      </tr>
+      <tr>
+        <td> </td>
+      </tr>
+      <tr>
+        <td align="center">
+          <h2>Coming soon!</h2>
+        </td>
+      </tr>
+    </table>
+    <br />
+    <br />
+    In the meantime have a look at the
+    <a href="http://mowgli.mowgli.cs.unibo.it:58085/getpage?url=moogle_syntax.html">Input Syntax page</a>
+    for syntax and examples.
+  </body>
+</html>