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=a542cc19a1838dc5a9cab45f2f6dc565c9821312;hb=afe1661e69d1fdec2a65abe1ea9abdae03874967;hp=1f8895eafad5262d45a3eeb298c9236f2760a4e9;hpb=9fc816ac51a681fe122712931f8df19d804a4695;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 1f8895eaf..a542cc19a 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
@@ -22,19 +22,28 @@
    </body>
    <table name="ld_basic_2_sum"/>
    <news date="In progress.">
-         Context-sensitive strong normalization of simply typed terms.
+         Context-sensitive subject equivalence
+	 for native type assignment.
+   </news>
+   <news date="In progress.">
+         Context-sensitive subject equivalence
+	 for atomic arity assignment.
+   </news>
+   <news date="2012 March 15.">
+         Context-sensitive strong normalization
+	 for simply typed terms.
    </news>
    <news date="2012 January 27.">
-         Support for abstract candidates of reducibility closed.
+         Support for abstract candidates of reducibility.
    </news>
    <news date="2011 September 21.">
-         Confluence of context-sensitive parallel reduction closed.
+         Confluence for context-sensitive parallel reduction.
    </news>
    <news date="2011 September 6.">
-         Confluence of context-free parallel reduction closed.
+         Confluence for context-free parallel reduction.
    </news>
    <news date="2011 April 17.">
-         Specification started.
+         Specification starts.
    </news>
 
    <section>Logical Structure of the Specification</section>