X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fweb%2Fhome%2Fbasic_2.ldw.xml;h=86b431c6e8e2a956a996261c8c5b255bac723448;hb=691c330235597faab8ad7be34242bc545d4c4023;hp=f9f240048aafd1a541d1486287da13e897ba18c5;hpb=08db2212621969b85852de3bd0677149135df0fe;p=helm.git

diff --git a/helm/www/lambda_delta/web/home/basic_2.ldw.xml b/helm/www/lambda_delta/web/home/basic_2.ldw.xml
index f9f240048..86b431c6e 100644
--- a/helm/www/lambda_delta/web/home/basic_2.ldw.xml
+++ b/helm/www/lambda_delta/web/home/basic_2.ldw.xml
@@ -25,9 +25,24 @@
          Context-sensitive subject equivalence
 	 for native type assignment.
    </news>
+   <news date="In progress.">
+         Closure of extended context-sensitive computation
+	 for native validity.
+   </news>
+   <news date="In progress.">
+         Extended context-sensitive strong normalization
+	 for simply typed terms.
+   </news>
+   <news date="2012 October 16.">
+         Confluence for context-free parallel reduction on closures.
+   </news>
+   <news date="2012 July 26.">
+         Term binders polarized to control ζ reduction.
+   </news>   
    <news date="2012 April 16.">
          Context-sensitive subject equivalence
-	 for atomic arity assignment.
+	 for atomic arity assignment
+	 (anniversary milestone).
    </news>
    <news date="2012 March 15.">
          Context-sensitive strong normalization
@@ -37,10 +52,10 @@
          Support for abstract candidates of reducibility.
    </news>
    <news date="2011 September 21.">
-         Confluence for context-sensitive parallel reduction.
+         Confluence for context-sensitive parallel reduction on terms.
    </news>
    <news date="2011 September 6.">
-         Confluence for context-free parallel reduction.
+         Confluence for context-free parallel reduction on terms.
    </news>
    <news date="2011 April 17.">
          Specification starts.