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 @@
+ +

+
+ +
+
+