]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle_help.html
daemons tamed
[helm.git] / helm / searchEngine / html / moogle_help.html
diff --git a/helm/searchEngine/html/moogle_help.html b/helm/searchEngine/html/moogle_help.html
deleted file mode 100644 (file)
index 7b2a8bd..0000000
+++ /dev/null
@@ -1,25 +0,0 @@
-<?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>