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>