web site update

[helm.git] / helm / www / lambdadelta / web / home / version_2.ldw.xml
diff --git a/helm/www/lambdadelta/web/home/version_2.ldw.xml b/helm/www/lambdadelta/web/home/version_2.ldw.xml

index 2e15785143e0e343a63b249f482f65e398d29332..9c002c7c96a90788738f16001172286f31c8c7e0 100644 (file)
--- a/helm/www/lambdadelta/web/home/version_2.ldw.xml
+++ b/helm/www/lambdadelta/web/home/version_2.ldw.xml
@@ -8,21 +8,24 @@
     <sitemap name="sitemap"/>
  
     <section4 name="foreword">Formats</section4>
+   
     <body>
        The formal specification of λδ version 2
        is available in the following formats:
-      <topitem name="source">
-         <rlink to="download/lambdadelta_2.tar.gz">lambdadelta_2 for Matita 0.99.2</rlink>
-         (revised <date date="2014-07"/>).
-         Source scripts.
-      </topitem>
-      <topitem name="parts">
-         <rlink to="ground_2.html">Background</rlink>,
-         <rlink to="basic_2.html">Core</rlink>,
-         <rlink to="apps_2.html">Applications</rlink>.
-         Informational pages on the parts of the specification.
-      </topitem>
     </body>
  
+   <topitem name="source">
+      <rlink to="download/lambdadelta_2.tar.gz">lambdadelta_2 for Matita 0.99.2</rlink>
+      (revised <date date="2014-07"/>).
+      Source scripts.
+   </topitem>
+
+   <topitem name="parts">
+      <rlink to="ground_2.html">Background</rlink>,
+      <rlink to="basic_2.html">Core</rlink>,
+      <rlink to="apps_2.html">Applications</rlink>.
+      Informational pages on the parts of the specification.
+   </topitem>
+
     <footer/>
  </page>