X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Flddl_term.xsl;h=01ccff3bb9fbab80d211f252f4fae0df9eee6e56;hb=a255d83ebcb9b700a6f30cbcd109d223fc0d98cb;hp=d2cb461a36e0a0d6c507e5c6ba4ce21ad681a360;hpb=a8a42ce5976221949b3999446eebc5d5457b81bd;p=helm.git diff --git a/helm/www/lambdadelta/xslt/lddl_term.xsl b/helm/www/lambdadelta/xslt/lddl_term.xsl index d2cb461a3..01ccff3bb 100644 --- a/helm/www/lambdadelta/xslt/lddl_term.xsl +++ b/helm/www/lambdadelta/xslt/lddl_term.xsl @@ -12,7 +12,7 @@ V_______________________________________________________________ -->