]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/web/home/documentation.ldw.xml
update in basic_2
[helm.git] / 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       logo = "crux"
7       head = "The Formal Systems of the λδ (\lambda\delta) Family"
8 >
9    <sitemap name="sitemap"/>
10
11    <section4 name="bibtex">Documentation</section4>
12    <body>
13       BibTeX database of λδ documentation:
14       <notice class="alpha" notice="download"/>
15       <rlink to="download/lambdadelta.bib">lambdadelta.bib</rlink>,
16       <notice class="alpha" notice="view"/>
17       <rlink to="download/lambdadelta.txt">lambdadelta.txt</rlink>
18       (revised <notice class="gamma" notice="2017-09"/>).
19    </body>
20
21    <subsection name="v3"><img logo="ld3"/>λδ version 3 (proposed)</subsection>
22    <body>
23       The main source of information is <notice class="alpha" notice="J3a"/>.
24    </body>
25    <table name="documentation_3"/>
26    
27    <subsection name="v2"><img logo="ld2"/>λδ version 2 (active)</subsection>
28    <body>
29       The main source of information is <notice class="alpha" notice="R2c"/>.
30    </body>
31    <table name="documentation_2"/>
32
33    <subsection name="v1"><img logo="ld1"/>λδ version 1 (superseded)</subsection>
34    <body>
35       The main source of information is <notice class="alpha" notice="J1a"/>.
36       A summary is available in <notice class="alpha" notice="P1e"/>.
37    </body>
38    <table name="documentation_1"/>
39
40    <footer/>
41 </page>