]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/documentation.ldw.xml
projects / helm.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
refactoring of the butterflies :)
[helm.git] / helm / www / lambdadelta / web / home / documentation.ldw.xml
diff --git a/helm/www/lambdadelta/web/home/documentation.ldw.xml b/helm/www/lambdadelta/web/home/documentation.ldw.xml
index 86d91160f854958661b7a188b4c452f4987dd0de..6dc865edc129e52f94910a27dc4287abb3df284a 100644 (file)
--- a/helm/www/lambdadelta/web/home/documentation.ldw.xml
+++ b/helm/www/lambdadelta/web/home/documentation.ldw.xml
@@ -7,7 +7,7 @@
 >
    <sitemap name="sitemap"/>
 
-   <section5 name="bibtex">Documentation</section5>
+   <section4 name="bibtex">Documentation</section4>
    <body>
       BibTeX database of λδ documentation:
       <rlink to="download/lambdadelta.bib">lambdadelta.bib</rlink>,
Unnamed repository; edit this file 'description' to name the repository.