milestone update in basic_2!

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

diff --git a/helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml b/helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml
index 1f8895eafad5262d45a3eeb298c9236f2760a4e9..a542cc19a1838dc5a9cab45f2f6dc565c9821312 100644 (file)
--- a/helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml
+++ b/helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml
@@ -22,19 +22,28 @@
    </body>
    <table name="ld_basic_2_sum"/>
    <news date="In progress.">
-         Context-sensitive strong normalization of simply typed terms.
+         Context-sensitive subject equivalence
+        for native type assignment.
+   </news>
+   <news date="In progress.">
+         Context-sensitive subject equivalence
+        for atomic arity assignment.
+   </news>
+   <news date="2012 March 15.">
+         Context-sensitive strong normalization
+        for simply typed terms.
    </news>
    <news date="2012 January 27.">
-         Support for abstract candidates of reducibility closed.
+         Support for abstract candidates of reducibility.
    </news>
    <news date="2011 September 21.">
-         Confluence of context-sensitive parallel reduction closed.
+         Confluence for context-sensitive parallel reduction.
    </news>
    <news date="2011 September 6.">
-         Confluence of context-free parallel reduction closed.
+         Confluence for context-free parallel reduction.
    </news>
    <news date="2011 April 17.">
-         Specification started.
+         Specification starts.
    </news>
 
    <section>Logical Structure of the Specification</section>