1 <?xml version="1.0" encoding="UTF-8"?>
3 <page xmlns="http://lambdadelta.info/"
4 description = "\lambda\delta home page"
5 title = "\lambda\delta home page"
6 head = "The Formal Systems of the λδ (\lambda\delta) Family"
8 <sitemap name="sitemap"/>
10 <section4 name="bibtex">Documentation</section4>
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"/>).
20 <subsection name="v3"><version3-icon/>λδ version 3 (proposed)</subsection>
22 The main source of information is <notice class="alpha" notice="J3a"/>.
24 <table name="documentation_3"/>
26 <subsection name="v2"><version2-icon/>λδ version 2 (active)</subsection>
28 The main source of information is <notice class="alpha" notice="R2c"/>.
30 <table name="documentation_2"/>
32 <subsection name="v1"><version1-icon/>λδ version 1 (superseded)</subsection>
34 The main source of information is <notice class="alpha" notice="J1a"/>.
35 A summary is available in <notice class="alpha" notice="P1e"/>.
37 <table name="documentation_1"/>