X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_root.xsl;h=07bd9bf3f8f05e0ca0435e29c9b6601f9eaf8320;hb=cb0d4e730bd6ec9bed1018be37748120f740f0a9;hp=e82b2784b521b049f7a21c27f1c8cba812d40f74;hpb=645b62762e9c86e343d4741541a2ddccfed8ebc7;p=helm.git
diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl
index e82b2784b..07bd9bf3f 100644
--- a/helm/www/lambdadelta/xslt/ld_web_root.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl
@@ -7,17 +7,68 @@
>
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -37,6 +88,13 @@
+
+
+
+
+
+
+