X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdownload.shtml;h=e228cf91d72097550fd5e80f5cc4c12b08bfe1eb;hb=82d7e23a1835f1e6d26c9a8a085854f1c0a428fe;hp=45fd3e4aae70731ffe5303e0e469b3cb7a2213be;hpb=9d356a6f202a77fb1dd67b57b1c86ac3ebe1382b;p=helm.git

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 45fd3e4aa..e228cf91d 100644
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -1,6 +1,6 @@
-<!-- $Id$ -->
 <!--#include virtual="xhtml-header.shtml" -->
-<html>
+<!-- $Id$ -->
+<html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>Matita - Download</title>
     <!--#include virtual="xhtml-meta.shtml" -->
@@ -13,6 +13,7 @@
       <h2>Releases<a name="releases"></a></h2>
       <p>
       The current release (candidate) is version 0.4.98. 
+      </p>
       <dl>
         <dt>Live CD</dt>
         
@@ -47,7 +48,6 @@
         trivial, we thus suggest you to try the live CD or the .deb package
         first.</dd>
       </dl>
-      </p>
 
       <h2>License<a name="license"></a></h2>
       <p>
