helm/www/lambdadelta/web/home/documentation.ldw.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <page xmlns="http://lambdadelta.info/"
   4       description = "\lambda\delta home page"
   5       title = "\lambda\delta home page"
   6       head = "The Formal System λδ (\lambda\delta)"
   7 >
   8    <sitemap name="sitemap"/>
   9
  10    <section4 name="bibtex">Documentation</section4>
  11    <body>
  12       BibTeX database of λδ documentation:
  13       download <rlink to="download/lambdadelta.bib">lambdadelta.bib</rlink>,
  14       view <rlink to="download/lambdadelta.txt">lambdadelta.txt</rlink>
  15       (revised <date date="2014-10"/>).
  16    </body>
  17
  18    <subsection name="v2"><version2-icon/>λδ version 2 (in progress)</subsection>
  19    <body>
  20       The main source of information is <date date="P8"/>.
  21    </body>
  22    <table name="documentation_2"/>
  23
  24    <subsection name="v1"><version1-icon/>λδ version 1 (dismissed)</subsection>
  25    <body>
  26       The main source of information is <date date="J1"/>.
  27       A summary is available in <date date="P5"/>.
  28    </body>
  29    <table name="documentation_1"/>
  30
  31    <footer/>
  32 </page>