- we added a time specification in the generated web pages

[helm.git] / helm / www / lambda_delta / web / home / basic_2.ldw.xml

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 f9f240048aafd1a541d1486287da13e897ba18c5..ce35fd342ddb5728bfbb1919e8797353b12be481 100644 (file)
--- 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,18 @@
          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 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