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 7a1eef5f79965ae128ce8765702614aa0a2c4821..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
@@ -3,7 +3,7 @@
  <page xmlns="http://lambda_delta.info"
        description = "lambda_delta version 2"
        title = "lambda_delta version 2"
-      head = "cic:/matita/lambda_delta/Basic_2/ (λδ version 2)"
+      head = "cic:/matita/lambda_delta/basic_2/ (λδ version 2)"
  >
     <section>System's Syntax and Behavior</section>
     <body>This is a summary of the "block structure"
@@ -20,21 +20,30 @@
     <body>Here is a numerical acount of the specification's contents
           and its timeline.
     </body>
-   <table name="ld_Basic_2_sum"/>
+   <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>