- update in basic_2 and ground_2

[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 8da683d99373dd1b4db0e8d93e3ae71790c507d8..2e15785143e0e343a63b249f482f65e398d29332 100644 (file)
--- a/helm/www/lambdadelta/web/home/version_2.ldw.xml
+++ b/helm/www/lambdadelta/web/home/version_2.ldw.xml
@@ -11,11 +11,16 @@
     <body>
        The formal specification of λδ version 2
        is available in the following formats:
-      <topitem>
+      <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>