new small devel

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

index a890611022e67a8b74b41f5374287605ff797c1b..9ad4940dd747b016953f4b92774a193ab61db613 100644 (file)
--- a/helm/www/matita/community.shtml
+++ b/helm/www/matita/community.shtml
@@ -1,6 +1,6 @@
-<!-- $Id$ -->
  <!--#include virtual="xhtml-header.shtml" -->
-<html>
+<!-- $Id$ -->
+<html xmlns="http://www.w3.org/1999/xhtml">
    <head>
      <title>Matita - Community</title>
      <!--#include virtual="xhtml-meta.shtml" -->
@@ -10,7 +10,7 @@
      <div class="main">
        <h1>Matita Community</h1>
  
-      <h2>Mailing Lists<a name="lists" /></a></h2>
+      <h2>Mailing Lists<a name="lists" /></h2>
        <p>
        Discussions about Matita are held in several places, mainly on the
        following mailing lists:
@@ -19,7 +19,6 @@
         <dt> <a href="http://www.cs.unibo.it/cgi-bin/mailman/listinfo/matita-user"><kbd>matita-user</kbd></a> </dt>
         <dd>
         <p> Discussion forum for Matita users. </p>
-       </p>
         </dd>
  
         <dt> <a href="http://www.cs.unibo.it/cgi-bin/mailman/listinfo/matita-devel"><kbd>matita-devel</kbd></a> </dt>
@@ -36,7 +35,7 @@
        the instructions.
        </p>
  
-      <h2>Miki<a name="miki" /></a></h2>
+      <h2>Miki<a name="miki" /></h2>
        <p>
        We are currently developing
        <a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like