X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_root.xsl;fp=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_root.xsl;h=2eef8f14933c64a9b3356b755f66755224133932;hb=3167db4903eea2eddc60a91cfd922be3672ce077;hp=43e6123010f69a2200dda6e93cd3335ed6ef9fce;hpb=bda0d7ea2a1aecb2bacd82972d476fbd9d63f4dc;p=helm.git diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl index 43e612301..2eef8f149 100644 --- a/helm/www/lambdadelta/xslt/ld_web_root.xsl +++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl @@ -118,6 +118,15 @@ + + [basic lambdadelta] + + +