matita/matita/contribs/lambdadelta/ground_2/web/ground_2.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_2/ (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_2_sum"/>
  16
  17    <news class="alpha" date="2020 January 6.">
  18          Centralized xoa infrastructure removed.
  19    </news>
  20    <news class="alpha" date="2018 June 6.">
  21          Decentralized xoa infrastructure.
  22    </news>
  23    <news class="alpha" date="2016 April 18.">
  24          Generic rt-transition counter (rtc).
  25    </news>
  26    <news class="alpha" date="2016 March 4.">
  27          Platform-independent multiple relocation (rtmap).
  28    </news>
  29    <news class="alpha" date="2016 January 20.">
  30          Multiple relocation with streams of naturals.
  31    </news>
  32    <news class="alpha" date="2015 October 11.">
  33          Multiple relocation with lists of booleans.
  34    </news>
  35    <news class="alpha" date="2013 November 27.">
  36          Natural numbers with infinity (ynat).
  37    </news>
  38    <news class="alpha" date="2011 August 10.">
  39          Specification starts.
  40    </news>
  41
  42    <section4 name="structure">Logical Structure of the Specification</section4>
  43    <body>This table reports the specification's components and their planes.
  44    </body>
  45    <table name="ground_2_src"/>
  46
  47    <footer/>
  48 </page>