reworked css and html structure, continuing offline ...

[helm.git] / helm / www / matita / documentation.shtml
diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml

index 2ab98e1f2e010570ef63a35a5ee75eeb15efe8a6..361fdb0a69b72ed890cd58b67cdf44d9c9048358 100644 (file)
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -6,10 +6,19 @@
    </head>
    <body>
      <!--#include virtual="menubar.shtml" -->
-    <h1><span class="h1">User manual</span></h1>
-    <p>
-    Please be patient...
-    </p>
+    <div class="main">
+      <h1>Matita Documentation</h1>
+      <h2>User manual</h2>
+      <p>
+      We are working on the user manual of Matita. The current status is
+      available in our
+      <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2F&amp;sc=0">svn repository</a>
+      in the
+      <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2Fhelp%2FC%2F&amp;rev=0&amp;sc=0"><kbd>matita/help</kbd> directory</a>
+      (in <a href="http://www.oasis-open.org/docbook/">DocBook</a> format)
+      </p>
+    </div>
      <!--#include virtual="bottombar.shtml" -->
    </body>
  </html>
+<!-- $Id$ -->