scripts for lambdadelta_1 updated with minor corrections

[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..857516bcd66077257ddb2fd5fe583d968e714724 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,
@@ -88,7 +88,7 @@
     <topitem name="source1">
        <body>
           <rlink to="download/lambdadelta_1.tar.gz">lambdadelta_1 for Coq 7.3.1</rlink>
-         (revised <notice class="delta" notice="2015-01"/>).
+         (revised <notice class="delta" notice="2015-09"/>).
           Source scripts.
           <list><item>
              <notice class="delta" notice="2015 January 15."/>