</body>
<table name="ground_sum"/>
- <news class="gamma" date="2020 February 27.">
+ <news class="gamma" date="2021-02-15.">
+ Primitive arithmetics library.
+ </news>
+ <news class="gamma" date="2020-12-08.">
+ Specification is repackaged for publication.
+ </news>
+ <news class="gamma" date="2020-02-27.">
Specification is released as an independent package (was ground_2).
</news>
- <news class="beta" date="2020 January 6.">
+ <news class="beta" date="2020-01-06.">
Centralized xoa infrastructure removed.
</news>
- <news class="beta" date="2018 June 6.">
+ <news class="beta" date="2018-06-06.">
Decentralized xoa infrastructure.
</news>
- <news class="beta" date="2016 April 18.">
+ <news class="beta" date="2016-04-18.">
Generic rt-transition counter (rtc).
</news>
- <news class="beta" date="2016 March 4.">
+ <news class="beta" date="2016-03-04.">
Platform-independent multiple relocation (rtmap).
</news>
- <news class="alpha" date="2016 January 20.">
+ <news class="alpha" date="2016-01-20.">
Multiple relocation with streams of naturals.
</news>
- <news class="alpha" date="2015 October 11.">
+ <news class="alpha" date="2015-10-11.">
Multiple relocation with lists of booleans.
</news>
- <news class="alpha" date="2013 November 27.">
+ <news class="alpha" date="2013-11-27.">
Natural numbers with infinity (ynat).
</news>
- <news class="alpha" date="2011 August 10.">
+ <news class="alpha" date="2011-08-10.">
Specification starts.
</news>
<section4 name="structure">Logical Structure of the Specification</section4>
<body>This table reports the specification's components and their planes.
</body>
- <table name="ground_2_src"/>
+ <table name="ground_src"/>
<footer/>
</page>