filled README, BUGS, and other files useful for the distribution

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

index 16e029f73cbf94f4a7f7194bde7e6916b395667e..30c7029dbd6cc50562ad1cbd4c1a9bc1d9a74041 100644 (file)
--- a/helm/www/matita/community.shtml
+++ b/helm/www/matita/community.shtml
@@ -1,3 +1,4 @@
+<!-- $Id$ -->
  <!--#include virtual="xhtml-header.shtml" -->
  <html>
    <head>
@@ -8,7 +9,8 @@
      <!--#include virtual="menubar.shtml" -->
      <div class="main">
        <h1>Matita Community</h1>
-      <h2><span class="h2">Miki</span></h1>
+
+      <h2>Miki</h2>
        <p>
        We are currently developing
        <a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like
@@ -17,8 +19,8 @@
        contributions. <em>"Miki: a formal Mathematics wIKI"</em> is the
        codename of the effort.
        </p>
+
        <!--#include virtual="bottombar.shtml" -->
      </div>
    </body>
  </html>
-<!-- $Id$ -->