List of all URIS comprising:

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

index 45fd3e4aae70731ffe5303e0e469b3cb7a2213be..e228cf91d72097550fd5e80f5cc4c12b08bfe1eb 100644 (file)
--- 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>