- site update

[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 117726fba090a9f7b40edb7f3ab077145a389cf2..36cce9d1ab191be8167584c1182e5f4d7b72a7a5 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
@@ -21,6 +21,9 @@
             and its timeline.
    </ld:body>
    <ld:table name="ld_Basic_2_sum"/>
+   <ld:news date="In progress.">
+            Context-sensitive strong normalization of simply typed terms.
+   </ld:news>
    <ld:news date="2012 January 27.">
             Support for abstract candidates of reducibility closed.
    </ld:news>