]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml
update in delayed_updating
[helm.git] / matita / matita / contribs / lambdadelta / ground / web / ground.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 = "cic:/matita/lambdadelta/ground/ (background for λδ version 2)"
8 >
9    <sitemap name="sitemap"/>
10
11    <section4 name="summary">Summary of the Specification</section4>
12    <body>Here is a numerical account of the specification's contents
13          and its timeline.
14    </body>
15    <table name="ground_sum"/>
16
17    <news class="gamma" date="2021-05-29.">
18          Generic relocation maps are streams of booleans
19          (delayed anniversary milestone).
20    </news>
21    <news class="gamma" date="2021-02-15.">
22          Primitive arithmetics library.
23    </news>
24    <news class="gamma" date="2020-12-08.">
25          Specification is repackaged for publication.
26    </news>
27    <news class="gamma" date="2020-02-27.">
28          Specification is released as an independent package (was ground_2).
29    </news>
30    <news class="beta" date="2020-01-06.">
31          Centralized xoa infrastructure removed.
32    </news>
33    <news class="beta" date="2018-06-06.">
34          Decentralized xoa infrastructure.
35    </news>
36    <news class="beta" date="2016-04-18.">
37          Generic rt-transition counter (rtc).
38    </news>
39    <news class="beta" date="2016-03-04.">
40          Platform-independent multiple relocation (rtmap).
41    </news>
42    <news class="alpha" date="2016-01-20.">
43          Multiple relocation with streams of naturals.
44    </news>
45    <news class="alpha" date="2015-10-11.">
46          Multiple relocation with lists of booleans.
47    </news>
48    <news class="alpha" date="2013-11-27.">
49          Natural numbers with infinity (ynat).
50    </news>
51    <news class="alpha" date="2011-08-10.">
52          Specification starts.
53    </news>
54
55    <section4 name="structure">Logical Structure of the Specification</section4>
56    <body>This table reports the specification's components and their planes.
57    </body>
58    <table name="ground_src"/>
59
60    <footer/>
61 </page>