some changes in lambdadelta butterflies

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

index 556549c393d00f5190ddc0d40f9f3c4440c27379..407dc8054550060e7fe9688a9863bfd28db68804 100644 (file)
--- a/helm/www/lambdadelta/web/home/specification.ldw.xml
+++ b/helm/www/lambdadelta/web/home/specification.ldw.xml
@@ -7,7 +7,7 @@
  >
     <sitemap name="sitemap"/>
  
-   <section5 name="specifications">Computer-checked formal specifications</section5>
+   <section15 name="specifications">Computer-checked formal specifications</section15>
     <body>
        λδ is developed as a machine-checked digital specification.
        It comes in several versions listed in the next table,