- some consequences of preservation added

[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 46a328badab83957959dd5b50f15313d687dbfe7..816bface5313aadbc0e29519ea86efa762976547 100644 (file)
--- a/helm/www/lambdadelta/web/home/version_2.ldw.xml
+++ b/helm/www/lambdadelta/web/home/version_2.ldw.xml
@@ -8,22 +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.
-         <rlink to="implementation.html#bibtex">BibTeX entry</rlink>
-      </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-10"/>).
+      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>