]> 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 6dc865edc129e52f94910a27dc4287abb3df284a..338477452bf7b4fe8472d76dc5ea7031031ad427 100644 (file)
       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"/>.