now the "news" page is generated

[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 4fc844a1d3023f99b0572be70b93d9a8ac880432..46a328badab83957959dd5b50f15313d687dbfe7 100644 (file)
--- a/helm/www/lambdadelta/web/home/version_2.ldw.xml
+++ b/helm/www/lambdadelta/web/home/version_2.ldw.xml
@@ -11,13 +11,13 @@
     <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>
+      <topitem name="parts">
           <rlink to="ground_2.html">Background</rlink>,
           <rlink to="basic_2.html">Core</rlink>,
           <rlink to="apps_2.html">Applications</rlink>.