matita/matita/contribs/lambdadelta/static_2/web/static_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/static_2/ (syntactic components of λδ version 2)"
   8 >
   9    <sitemap name="sitemap"/>
  10
  11    <section4 name="contents">Contents of the Specification</section4>
  12    <body>This specification contains the syntactic components of λδ version 2
  13          that every forthcoming system of the λδ family will share.
  14    </body>
  15
  16    <section4 name="summary">Summary of the Specification</section4>
  17    <body>Here is a numerical account of the specification's contents
  18          and its timeline.
  19    </body>
  20    <table name="static_2_sum"/>
  21
  22    <news class="alpha" date="2018 June 30.">
  23          The specification stands alone.
  24    </news>
  25
  26    <section4 name="structure">Logical Structure of the Specification</section4>
  27    <body>This table reports the specification's components and their planes.
  28    </body>
  29    <table name="static_2_src"/>
  30
  31    <footer/>
  32 </page>