X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fweb%2Fhome%2Fbasic_2.ldw.xml;h=51995e4fef492cdc4653b4a69f6bc55b24becc31;hb=b405363d37a437e86705bd85f5b549a36878e7d5;hp=443b4c4eea8df46a5b7be2bdac437f2599eb0a85;hpb=efc1f5706f907b44b635ac93ab9093ace6abc210;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 443b4c4ee..51995e4fe 100644
--- a/helm/www/lambda_delta/web/home/basic_2.ldw.xml
+++ b/helm/www/lambda_delta/web/home/basic_2.ldw.xml
@@ -25,6 +25,17 @@
          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 July 26.">
+         Polarized binders to control ζ reduction.
+   </news>   
    <news date="2012 April 16.">
          Context-sensitive subject equivalence
 	 for atomic arity assignment