refactoring of the butterflies :)

[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 1ae011367aa7c71bbad56ea2c11624b90953f30a..0613d899fb64e99f11c4950f1d2c5e052eb248e0 100644 (file)
--- a/helm/www/lambdadelta/web/home/implementation.ldw.xml
+++ b/helm/www/lambdadelta/web/home/implementation.ldw.xml
@@ -7,7 +7,7 @@
  >
     <sitemap name="sitemap"/>
  
-   <section9 name="specifications">Computer-checked formal specifications</section9>
+   <section5 name="specifications">Computer-checked formal specifications</section5>
     <body>
        λδ comes in several versions listed in the following table,
        which includes the major milestones: