- update in basic_2

[helm.git] / helm / www / lambdadelta / web / home / implementation.ldw.xml
diff --git a/helm/www/lambdadelta/web/home/implementation.ldw.xml b/helm/www/lambdadelta/web/home/implementation.ldw.xml

index 0613d899fb64e99f11c4950f1d2c5e052eb248e0..1c357b3c1d51cf2ec9bab7947f1e724ecb3bbf78 100644 (file)
--- a/helm/www/lambdadelta/web/home/implementation.ldw.xml
+++ b/helm/www/lambdadelta/web/home/implementation.ldw.xml
@@ -7,16 +7,9 @@
  >
     <sitemap name="sitemap"/>
  
-   <section5 name="specifications">Computer-checked formal specifications</section5>
-   <body>
-      λδ comes in several versions listed in the following table,
-      which includes the major milestones:
-   </body>
-   <table name="versions"/>
-
     <section5 name="tools">Tools</section5>
  
-   <section name="lddl"><crux-icon/>λδ Digital Library (LDDL)</section>
+   <subsection name="lddl"><crux-icon/>λδ Digital Library (LDDL)</subsection>
     <body>
        The λδ Digital Library is part of <link to="http://helm.cs.unibo.it/">HELM</link>
        and contains resources expressed in λδ.      
@@ -39,7 +32,7 @@
        (in "complete_rg" λδ).
     </news>
  
-   <section name="helena"><helena-icon/>Helena</section>
+   <subsection name="helena"><helena-icon/>Helena</subsection>
     <body>
        Helena is a λδ processor,
        implemented in <link to="http://caml.inria.fr/">Caml</link>