X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fweb%2Fhome%2Fbasic_2.ldw.xml;h=443b4c4eea8df46a5b7be2bdac437f2599eb0a85;hb=b838509c1e64e80a584c11221abcc956e3919641;hp=db9898b6deac903bec0cade6c303420088a8eaf0;hpb=2fd3cd6a9477c2244391c16a230f69b4a231e5ab;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 db9898b6d..443b4c4ee 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,10 @@
          Context-sensitive subject equivalence
 	 for native type assignment.
    </news>
-   <news date="In progress.">
+   <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