]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/documentation.ldw.xml
minor web site update
[helm.git] / helm / www / lambdadelta / web / home / documentation.ldw.xml
index 47658d74cfee32e4ba8a6867197622bd17e5525b..165dd722f8d0a5299eaa6a6bf6c1490b782aaa67 100644 (file)
    <section4 name="bibtex">Documentation</section4>
    <body>
       BibTeX database of λδ documentation:
-      download <rlink to="download/lambdadelta.bib">lambdadelta.bib</rlink>,
-      view <rlink to="download/lambdadelta.txt">lambdadelta.txt</rlink>
+      <date date="download"/>
+      <rlink to="download/lambdadelta.bib">lambdadelta.bib</rlink>,
+      <date date="view"/>
+      <rlink to="download/lambdadelta.txt">lambdadelta.txt</rlink>
       (revised <date date="2014-10"/>).
    </body>
    
-   <subsection name="v2"><version2-icon/>λδ version 2 (in progress)</subsection>
+   <subsection name="v2"><version2-icon/>λδ version 2 (ongoing)</subsection>
    <body>
       The main source of information is <date date="P8"/>.
    </body>