]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/documentation.ldw.xml
- update in basic_2
[helm.git] / helm / www / lambdadelta / web / home / documentation.ldw.xml
index 86d91160f854958661b7a188b4c452f4987dd0de..338477452bf7b4fe8472d76dc5ea7031031ad427 100644 (file)
@@ -7,21 +7,21 @@
 >
    <sitemap name="sitemap"/>
 
-   <section5 name="bibtex">Documentation</section5>
+   <section4 name="bibtex">Documentation</section4>
    <body>
       BibTeX database of λδ documentation:
       <rlink to="download/lambdadelta.bib">lambdadelta.bib</rlink>,
       <rlink to="download/lambdadelta.txt">lambdadelta.txt</rlink>
-      (revised <date date="2014-07"/>).
+      (revised <date date="2014-10"/>).
    </body>
    
-   <section name="v2"><basic-icon/>λδ version 2 (in progress)</section>
+   <subsection name="v2"><version2-icon/>λδ version 2 (in progress)</subsection>
    <body>
       The main source of information is <date date="P8"/>.
    </body>
    <table name="documentation_2"/>
 
-   <section name="v1"><basic-icon/>λδ version 1 (dismissed)</section>
+   <subsection name="v1"><version1-icon/>λδ version 1 (dismissed)</subsection>
    <body>
       The main source of information is <date date="J1"/>.
       A summary is available in <date date="P5"/>.