X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fweb%2Fhome%2Fld_basic_2.ldw.xml;h=117726fba090a9f7b40edb7f3ab077145a389cf2;hb=ce747c4d4c3a087e1f59dca81b7b4962ffa8e02b;hp=49d4094fe873663398dc3e96fec30f2388f6c695;hpb=c7e7b6d0e8a6d8c148832dad8122c68c969f1c7c;p=helm.git

diff --git a/helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml b/helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml
index 49d4094fe..117726fba 100644
--- a/helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml
+++ b/helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml
@@ -5,14 +5,44 @@
       title = "lambda_delta version 2"
       head = "cic:/matita/lambda_delta/Basic_2/ (λδ version 2)"
 >
-   <ld:section>Logical structure of the contribution</ld:section>
+   <ld:section>System's Syntax and Behavior</ld:section>
+   <ld:body>This is a summary of the "block structure"
+            of the System's syntactic items and reductions.
+   </ld:body>
+   <ld:table name="ld_basic_2_blk"/>
+   <ld:body>* In terms only.
+	    ** In terms and local environments only.
+            *** In global environments only.
+            **** Sort level k in terms only. 
+   </ld:body>
+   
+   <ld:section>Summary of the Specification</ld:section>
+   <ld:body>Here is a numerical acount of the specification's contents
+            and its timeline.
+   </ld:body>
+   <ld:table name="ld_Basic_2_sum"/>
+   <ld:news date="2012 January 27.">
+            Support for abstract candidates of reducibility closed.
+   </ld:news>
+   <ld:news date="2011 September 21.">
+            Confluence of context-sensitive parallel reduction closed.
+   </ld:news>
+   <ld:news date="2011 September 6.">
+            Confluence of context-free parallel reduction closed.
+   </ld:news>
+   <ld:news date="2011 April 17.">
+            Specification started.
+   </ld:news>
+
+   <ld:section>Logical Structure of the Specification</ld:section>
    <ld:body>The source files are grouped in planes and components
             according to the following table.
             The notation for the relations or functions introduced in each file
 	    is shown in parentheses.
    </ld:body>
    <ld:table name="ld_basic_2_src"/>
-   <ld:section>Physical structure of the contribution</ld:section>
+
+   <ld:section>Physical Structure of the Specification</ld:section>
    <ld:body>The source files are grouped in directories, one for each
             component.
    </ld:body>