]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/web/home/basic_2.ldw.xml
- milestone update in basic_2
[helm.git] / helm / www / lambda_delta / web / home / basic_2.ldw.xml
index db9898b6deac903bec0cade6c303420088a8eaf0..f9f240048aafd1a541d1486287da13e897ba18c5 100644 (file)
@@ -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>