X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Flddl_root.xsl;h=58bddb0a55c8554280168b23b669733d1ffda865;hb=a255d83ebcb9b700a6f30cbcd109d223fc0d98cb;hp=ba2dd9028ee17702ed767a8309d1c138f10ea954;hpb=a8a42ce5976221949b3999446eebc5d5457b81bd;p=helm.git diff --git a/helm/www/lambdadelta/xslt/lddl_root.xsl b/helm/www/lambdadelta/xslt/lddl_root.xsl index ba2dd9028..58bddb0a5 100644 --- a/helm/www/lambdadelta/xslt/lddl_root.xsl +++ b/helm/www/lambdadelta/xslt/lddl_root.xsl @@ -12,7 +12,7 @@ V_______________________________________________________________ -->