]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 80dac1f)
added an hyperlink to the input syntax page
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 21 Dec 2004 17:52:32 +0000 (17:52 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 21 Dec 2004 17:52:32 +0000 (17:52 +0000)
helm/searchEngine/html/moogle_help.html patch | blob | history

diff --git a/helm/searchEngine/html/moogle_help.html b/helm/searchEngine/html/moogle_help.html
index 22bb5412caca53ab92a9133b311c385370e099e5..48980ec4b78c9347cd07d2735c90e5e88cfe8b75 100644 (file)
--- a/helm/searchEngine/html/moogle_help.html
+++ b/helm/searchEngine/html/moogle_help.html
@@ -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/moogle.png" alt="moogle"/>
+        </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>
Unnamed repository; edit this file 'description' to name the repository.