X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fsitemap.tbl;h=8d6b24e85cfd0a97fbaf922669ef4c33068e4ec2;hb=0cb16b42f119c1cb6135f237092892e2f82929ee;hp=091a90a734dda06c14c8416c7171d1b826b8a6da;hpb=bfdaedc0ea2ee29ce9444ce1283a2642a86e8d86;p=helm.git

diff --git a/helm/www/lambdadelta/web/home/sitemap.tbl b/helm/www/lambdadelta/web/home/sitemap.tbl
index 091a90a73..8d6b24e85 100644
--- a/helm/www/lambdadelta/web/home/sitemap.tbl
+++ b/helm/www/lambdadelta/web/home/sitemap.tbl
@@ -24,6 +24,7 @@ table [
         @@("apps_2" "applications") ^ ")"
       * ]
       [ @@("specification#v1" "version 1")
+        "(" ^ @@("basic_1" "core") ^ ")"
         "(" ^ @@("static/matita/lambdadelta/" "static HELM directory") ^ ")"
       * ]
    }