]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/news.ldw.xml
- advances in the site generation architecture
[helm.git] / helm / www / lambdadelta / web / home / news.ldw.xml
index 2e6e1493621d424923571c2dc3b670ff08982daa..0bf2256247aadd65f0e1a195c3f4ef6371ca36e0 100644 (file)
@@ -3,6 +3,7 @@
 <page xmlns="http://lambdadelta.info/"
       description = "\lambda\delta home page"
       title = "\lambda\delta home page"
+      logo = "crux"
       head = "The Formal Systems of the λδ (\lambda\delta) Family"
 >
    <sitemap name="sitemap"/>