]> 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..47658d74cfee32e4ba8a6867197622bd17e5525b 100644 (file)
    <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"/>).
+      download <rlink to="download/lambdadelta.bib">lambdadelta.bib</rlink>,
+      view <rlink to="download/lambdadelta.txt">lambdadelta.txt</rlink>
+      (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"/>.