X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fsitemap.tbl;h=3f840b7a09e97730ec7a7f3515aae01465968ccd;hp=e76cdd5f8dcc5070907ad6d473129f9695d46ca2;hb=a82d87a4c2ff9f518385fba7357dafb632a22882;hpb=cdb85e803cd6038352ec0a318285f96f42faf02d diff --git a/helm/www/lambdadelta/web/home/sitemap.tbl b/helm/www/lambdadelta/web/home/sitemap.tbl index e76cdd5f8..3f840b7a0 100644 --- a/helm/www/lambdadelta/web/home/sitemap.tbl +++ b/helm/www/lambdadelta/web/home/sitemap.tbl @@ -12,7 +12,9 @@ table [ [ @@("html/news#visibility" "visibility") * ] } class "white" { - [ @@("html/specification" "specification") * ] + [ @@("html/specification" "specification") + @@("html/changes" "specification log") + * ] [ @@("html/specification#v2" "version 2") "(" ^ @@("html/ground_2" "background") + "-" + @@("html/static_2" "syntax") + "-" +