X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fsitemap.tbl;h=8862f01d45c184def03c3e9d8bb9e36a2f49da1d;hb=f39d53ed5f2a11cacbfabf5348e01b47d19479e5;hp=af3b9f7736ff97d5d5a1f28f746b7aabdc5ee557;hpb=f7d7f2459b3b0409be5f168822be3b836ccc929b;p=helm.git

diff --git a/helm/www/lambdadelta/web/home/sitemap.tbl b/helm/www/lambdadelta/web/home/sitemap.tbl
index af3b9f773..8862f01d4 100644
--- a/helm/www/lambdadelta/web/home/sitemap.tbl
+++ b/helm/www/lambdadelta/web/home/sitemap.tbl
@@ -31,10 +31,10 @@ table [
    }
    class "green" {
       [ @@"implementation" * ] 
+      [ @@("implementation#helena" "helena") * ]
       [ @@("implementation#lddl" "library")
         "(" ^ @@("static/lddl/" "static LDDL directory") ^ ")"
       * ]
-      [ @@("implementation#helena" "helena") * ]
    }
 ]