]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/sitemap.tbl
- advances in the site generation architecture
[helm.git] / helm / www / lambdadelta / web / home / sitemap.tbl
index af3b9f7736ff97d5d5a1f28f746b7aabdc5ee557..8862f01d45c184def03c3e9d8bb9e36a2f49da1d 100644 (file)
@@ -31,10 +31,10 @@ table [
    }
    class "green" {
       [ @@"implementation" * ] 
+      [ @@("implementation#helena" "helena") * ]
       [ @@("implementation#lddl" "library")
         "(" ^ @@("static/lddl/" "static LDDL directory") ^ ")"
       * ]
-      [ @@("implementation#helena" "helena") * ]
    }
 ]