X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_root.xsl;h=b574a4125570d607f8c47fc719468ba485397af2;hb=528f8ea107f689d07d060e1d31ba32bf65b4e6ba;hp=8c2c3ad3949300b3ed505f761ceb3b7520a99bb9;hpb=2c4b4aaa6f1490346823a26cba5dd965cab0cd02;p=helm.git
diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl
index 8c2c3ad39..b574a4125 100644
--- a/helm/www/lambdadelta/xslt/ld_web_root.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl
@@ -12,6 +12,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -52,6 +62,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -62,6 +82,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -112,60 +142,64 @@
+
+
+
+
-
+
-
-
+
+
+
+
+
+
+
-
-
-
-
-
+
+
+
+
+
+
+
+
-
-
-
-
-
+
+
-
-
-
+
+
-
-
-
+
+
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
@@ -174,10 +208,6 @@
-
-
-
-
@@ -199,7 +229,7 @@
href="{$baseurl}images/crux_16.ico"
/>
-
+