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       <notice class="alpha" notice="download"/>
  14       <rlink to="download/lambdadelta.bib">lambdadelta.bib</rlink>,
  15       <notice class="alpha" notice="view"/>
  16       <rlink to="download/lambdadelta.txt">lambdadelta.txt</rlink>
  17       (revised <notice class="gamma" notice="2015-09"/>).
  18    </body>
  19
  20    <subsection name="v3"><version3-icon/>λδ version 3 (proposed)</subsection>
  21    <body>
  22       The main source of information is <notice class="alpha" notice="J3a"/>.
  23    </body>
  24    <table name="documentation_3"/>
  25
  26    <subsection name="v2"><version2-icon/>λδ version 2 (active)</subsection>
  27    <body>
  28       The main source of information is <notice class="alpha" notice="R2c"/>.
  29    </body>
  30    <table name="documentation_2"/>
  31
  32    <subsection name="v1"><version1-icon/>λδ version 1 (superseded)</subsection>
  33    <body>
  34       The main source of information is <notice class="alpha" notice="J1a"/>.
  35       A summary is available in <notice class="alpha" notice="P1e"/>.
  36    </body>
  37    <table name="documentation_1"/>
  38
  39    <footer/>
  40 </page>