]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/version_1.ldw.xml
projects / helm.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
red butterfly added for version 1 :)
[helm.git] / helm / www / lambdadelta / web / home / version_1.ldw.xml
diff --git a/helm/www/lambdadelta/web/home/version_1.ldw.xml b/helm/www/lambdadelta/web/home/version_1.ldw.xml
index 4c7542189a526062471de7f6f070f2d6f330ebd5..d6d7c93c7b3b179133afa0d6f18842d9873f4691 100644 (file)
--- a/helm/www/lambdadelta/web/home/version_1.ldw.xml
+++ b/helm/www/lambdadelta/web/home/version_1.ldw.xml
@@ -7,7 +7,7 @@
 >
    <sitemap name="sitemap"/>
 
-   <section9 name="foreword">Formats</section9>
+   <section6 name="foreword">Formats</section6>
    <body>
       The formal specification of λδ version 1
       is available in the following formats:
Unnamed repository; edit this file 'description' to name the repository.