- additions in basic_2

[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 51995e4fef492cdc4653b4a69f6bc55b24becc31..86b431c6e8e2a956a996261c8c5b255bac723448 100644 (file)
--- a/helm/www/lambda_delta/web/home/basic_2.ldw.xml
+++ b/helm/www/lambda_delta/web/home/basic_2.ldw.xml
@@ -33,8 +33,11 @@
          Extended context-sensitive strong normalization
         for simply typed terms.
    </news>
+   <news date="2012 October 16.">
+         Confluence for context-free parallel reduction on closures.
+   </news>
    <news date="2012 July 26.">
-         Polarized binders to control ζ reduction.
+         Term binders polarized to control ζ reduction.
    </news>   
    <news date="2012 April 16.">
          Context-sensitive subject equivalence
@@ -49,10 +52,10 @@
          Support for abstract candidates of reducibility.
    </news>
    <news date="2011 September 21.">
-         Confluence for context-sensitive parallel reduction.
+         Confluence for context-sensitive parallel reduction on terms.
    </news>
    <news date="2011 September 6.">
-         Confluence for context-free parallel reduction.
+         Confluence for context-free parallel reduction on terms.
    </news>
    <news date="2011 April 17.">
          Specification starts.