...

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

index 74b2037d66c2858e8ee8c6e574000dc07f3b455d..13b803f02bf7cfa035171490ff9b975900907420 100644 (file)
--- a/helm/www/matita/development.shtml
+++ b/helm/www/matita/development.shtml
@@ -1,15 +1,15 @@
-<!-- $Id$ -->
  <!--#include virtual="xhtml-header.shtml" -->
-<html>
+<!-- $Id$ -->
+<html xmlns="http://www.w3.org/1999/xhtml">
    <head>
-    <title>Matita - Development</title>
+    <title>Matita Developers</title>
      <!--#include virtual="xhtml-meta.shtml" -->
    </head>
    <body>
      <!--#include virtual="menubar.shtml" -->
      <div class="main">
  
-      <h1>Matita Development</h1>
+      <h1>Matita Developers</h1>
        <p>
        The origins of Matita go back to 1999 and are intertwined with the
        <a href="http://helm.cs.unibo.it">HELM Project</a>. Since then, a