X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fweb%2Fhome%2Fbasic_2.ldw.xml;h=f9f240048aafd1a541d1486287da13e897ba18c5;hb=08db2212621969b85852de3bd0677149135df0fe;hp=6a1f302397723da71e55f3ce78a8574f545b3203;hpb=ae7427e8d3c57ccc77931e27913d8605d385cbda;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 6a1f30239..f9f240048 100644
--- a/helm/www/lambda_delta/web/home/basic_2.ldw.xml
+++ b/helm/www/lambda_delta/web/home/basic_2.ldw.xml
@@ -25,7 +25,7 @@
          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.
    </news>
@@ -51,7 +51,7 @@
          according to the following table.
          A notation file covering the whole specification is provided.
 	 The notation for the relations or functions introduced in each file
-	 is shown in parentheses.
+	 is shown in parentheses (? are placeholders).
    </body>
    <table name="basic_2_src"/>