X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Flddl_term.xsl;h=01ccff3bb9fbab80d211f252f4fae0df9eee6e56;hb=6aec17030b294a256e69c32eb7bf638fefec9f85;hp=d2cb461a36e0a0d6c507e5c6ba4ce21ad681a360;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;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_______________________________________________________________ -->