X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Flddl_library.xsl;h=9eccd5b85f784caaa9d6bbe7272742bdf68fd26c;hb=a255d83ebcb9b700a6f30cbcd109d223fc0d98cb;hp=e69468a9d4cdd6385a75dd669eb8cb928b85f8fa;hpb=a8a42ce5976221949b3999446eebc5d5457b81bd;p=helm.git diff --git a/helm/www/lambdadelta/xslt/lddl_library.xsl b/helm/www/lambdadelta/xslt/lddl_library.xsl index e69468a9d..9eccd5b85 100644 --- a/helm/www/lambdadelta/xslt/lddl_library.xsl +++ b/helm/www/lambdadelta/xslt/lddl_library.xsl @@ -12,7 +12,7 @@ V_______________________________________________________________ -->